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
01aee85
..
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/tiny.
srx
" ]
+let documents = [ "../tests/tiny.
xml
" ]
(* semi-colon separated list of XPath queries *)
(* semi-colon separated list of XPath queries *)
-let queries = [ "/
*
" ]
+let queries = [ "/
/*[ contains(.//para//self::text(),\"international\") ]//para//acronym
" ]
(* I is the initial configuration
(* I is the initial configuration
@@
-16,12
+16,12
@@
module CONF : CONFIGURATION =
struct
let path = "."
let result_basename = "test"
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)
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)
)