projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
.
[SXSI/xpathcomp.git]
/
benchmark
/
config.ml
diff --git
a/benchmark/config.ml
b/benchmark/config.ml
index
025b417
..
7719818
100644
(file)
--- a/
benchmark/config.ml
+++ b/
benchmark/config.ml
@@
-1,8
+1,8
@@
(* semi-colon separated list of input documents *)
(* semi-colon separated list of input documents *)
-let documents = [ "../tests/
base
.xml" ]
+let documents = [ "../tests/
tiny
.xml" ]
(* semi-colon separated list of XPath queries *)
(* semi-colon separated list of XPath queries *)
-let queries = [ "/
child::*"; "//*
" ]
+let queries = [ "/
/*[ contains(.//para//self::text(),\"international\") ]//para//acronym
" ]
(* I is the initial configuration
(* I is the initial configuration
@@
-16,7
+16,7
@@
module CONF : CONFIGURATION =
struct
let path = "."
let result_basename = "test"
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
let run_with_output = true
let run_without_output = true
end