X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fconfig.ml.in;fp=benchmark%2Fconfig.ml.in;h=5d63b48905950910299b89995b13459c8231bb11;hb=ff0d1111e34d2aba9b6454e0c95b67bd38ba392c;hp=0000000000000000000000000000000000000000;hpb=b7760799ea0d052916a0581fb0abe119d49e8a63;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/config.ml.in b/benchmark/config.ml.in
new file mode 100644
index 0000000..5d63b48
--- /dev/null
+++ b/benchmark/config.ml.in
@@ -0,0 +1,29 @@
+(* semi-colon separated list of input documents *)
+let documents = [ "../tests/tiny.xml" ]
+
+(* semi-colon separated list of XPath queries *)
+let queries = [ "//*" ]
+
+
+(* I is the initial configuration
+ * MK (engine) (configuration) gives a new configuration
+ * valid engines are SXSI and SaxonBXQuery
+ * ex: if you only want to test SaxonBXQuery :
+ * module TEST = MK (SaxonBXQuery) (I)
+ *)
+
+module CONF : CONFIGURATION = 
+struct
+  let path = "output"
+  let result_basename = "test"
+  let num_runs = 2
+  let run_with_output = true
+  let run_without_output = true
+end
+
+module I = INIT_TESTER (CONF)
+
+module TEST = 
+  MK (SXSI) 
+	  (MK (SaxonBXQuery) (I))
+