X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fconfig.ml;h=771981897c9a0b835c7cd4d5a6bb991ddaf3f683;hb=36154bd9b953b84d539d2505d94c414b2e3c72e6;hp=025b417d821d9b2576c06d51fee5f0694334c0b5;hpb=1c5c95673d1d3595f948e5dc674861a1f86b6158;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/config.ml b/benchmark/config.ml
index 025b417..7719818 100644
--- a/benchmark/config.ml
+++ b/benchmark/config.ml
@@ -1,8 +1,8 @@
 (* semi-colon separated list of input documents *)
-let documents = [ "../tests/base.xml" ]
+let documents = [ "../tests/tiny.xml" ]
 
 (* semi-colon separated list of XPath queries *)
-let queries = [ "/child::*"; "//*" ]
+let queries = [ "//*[ contains(.//para//self::text(),\"international\") ]//para//acronym" ]
 
 
 (* I is the initial configuration
@@ -16,7 +16,7 @@ module CONF : CONFIGURATION =
 struct
   let path = "."
   let result_basename = "test"
-  let num_runs = 5
+  let num_runs = 2
   let run_with_output = true
   let run_without_output = true
 end