X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fconfig.ml;h=422c0c4e7f9a4f82ed0e44e2bc3d6d9d179d88ef;hb=b7760799ea0d052916a0581fb0abe119d49e8a63;hp=01aee85a4eee49b304fbfc8d2ae2208e7d623d20;hpb=7dea5fd8bedede27d4d601f85630a249bfab420b;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/config.ml b/benchmark/config.ml
index 01aee85..422c0c4 100644
--- 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 = [ "//para[ contains(.,\"international\") ]//acronym"; "//*//*//*//*"; "/*"; "//part//text()" ]
 
 
 (* I is the initial configuration
@@ -14,14 +14,18 @@ let queries = [ "/*" ]
 
 module CONF : CONFIGURATION = 
 struct
-  let path = "."
+  let path = "output"
   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 (XsltProc) 
+       (MK (QizxOpen) 
+	  (MK (SaxonBXQuery) (I))))