.
[SXSI/xpathcomp.git] / benchmark / config.ml.in
diff --git a/benchmark/config.ml.in b/benchmark/config.ml.in
new file mode 100644 (file)
index 0000000..5d63b48
--- /dev/null
@@ -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))
+