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
7719818
..
422c0c4
100644
(file)
--- a/
benchmark/config.ml
+++ b/
benchmark/config.ml
@@
-2,7
+2,7
@@
let documents = [ "../tests/tiny.xml" ]
(* semi-colon separated list of XPath queries *)
let documents = [ "../tests/tiny.xml" ]
(* semi-colon separated list of XPath queries *)
-let queries = [ "//
*[ contains(.//para//self::text(),\"international\") ]//para//acronym
" ]
+let queries = [ "//
para[ contains(.,\"international\") ]//acronym"; "//*//*//*//*"; "/*"; "//part//text()
" ]
(* I is the initial configuration
(* I is the initial configuration
@@
-14,7
+14,7
@@
let queries = [ "//*[ contains(.//para//self::text(),\"international\") ]//para/
module CONF : CONFIGURATION =
struct
module CONF : CONFIGURATION =
struct
- let path = "
.
"
+ let path = "
output
"
let result_basename = "test"
let num_runs = 2
let run_with_output = true
let result_basename = "test"
let num_runs = 2
let run_with_output = true
@@
-23,5
+23,9
@@
end
module I = INIT_TESTER (CONF)
module I = INIT_TESTER (CONF)
-module TEST = MK (SXSI) (MK (SaxonBXQuery) (I))
+module TEST =
+ MK (SXSI)
+ (MK (XsltProc)
+ (MK (QizxOpen)
+ (MK (SaxonBXQuery) (I))))