Actually commit the files.

[SXSI/xpathcomp.git] / benchmark / config.ml

diff --git a/benchmark/config.ml b/benchmark/config.ml
new file mode 100644 (file)
index 0000000..025b417
--- /dev/null
+++ b/benchmark/config.ml
@@ -0,0 +1,27 @@
+(* semi-colon separated list of input documents *)
+let documents = [ "../tests/base.xml" ]
+
+(* semi-colon separated list of XPath queries *)
+let queries = [ "/child::*"; "//*" ]
+
+
+(* 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 = "."
+  let result_basename = "test"
+  let num_runs = 5
+  let run_with_output = true
+  let run_without_output = true
+end
+
+module I = INIT_TESTER (CONF)
+
+module TEST = MK (SXSI) (MK (SaxonBXQuery) (I))
+