.

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

diff --git a/benchmark/config.ml b/benchmark/config.ml
index 01aee85..7719818 100644 (file)
--- a/benchmark/config.ml
+++ b/benchmark/config.ml
@@ -1,8 +1,8 @@
 (* semi-colon separated list of input documents *)
-let documents = [ "../tests/tiny.srx" ]
+let documents = [ "../tests/tiny.xml" ]
 
 (* semi-colon separated list of XPath queries *)
-let queries = [ "/*" ]
+let queries = [ "//*[ contains(.//para//self::text(),\"international\") ]//para//acronym" ]
 
 
 (* I is the initial configuration
@@ -16,12 +16,12 @@ module CONF : CONFIGURATION =
 struct
   let path = "."
   let result_basename = "test"
-  let num_runs = 1
+  let num_runs = 2
   let run_with_output = true
   let run_without_output = true
 end
 
 module I = INIT_TESTER (CONF)
 
-module TEST = MK (SXSI) (I)
+module TEST = MK (SXSI) (MK (SaxonBXQuery) (I))