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
/
main.ml
diff --git
a/benchmark/main.ml
b/benchmark/main.ml
index
7f6b3ad
..
fff21c3
100644
(file)
--- a/
benchmark/main.ml
+++ b/
benchmark/main.ml
@@
-62,7
+62,9
@@
struct
let reference = false
let time_factor = 1.0
let mk_queryfile b doc q out = ()
let reference = false
let time_factor = 1.0
let mk_queryfile b doc q out = ()
- let mk_cmdline b qout qfile doc q = [ doc; q ]@ (if b then [qout] else [])
+ let mk_cmdline b qout qfile doc q =
+ let doc' = (Filename.chop_suffix doc ".xml")^".srx" in
+ [ doc'; q ]@ (if b then [qout] else [])
let parse_rules =
[ ( ".*Parsing document :[ \\t]*\\([0-9]+\\.[0-9]*\\)ms.*",
[ Input_parsing_time 1]);
let parse_rules =
[ ( ".*Parsing document :[ \\t]*\\([0-9]+\\.[0-9]*\\)ms.*",
[ Input_parsing_time 1]);
@@
-79,29
+81,17
@@
struct
end
end
-module CONF : CONFIGURATION =
-struct
- let path = "."
- let result_basename = "test"
- let num_runs = 1
- let run_with_output = false
- let run_without_output = true
-end
-module I = INIT_TESTER (CONF)
-module TestOld = MK (SXSI) (MK (SaxonBXQuery) (I))
-module Test = MK (SXSI) (I)
+INCLUDE "config.ml"
-let l = Test.test_engine [] (make_queryset
- ["/home/kim/Documents/Work/Code/xpathcomp/tests/tiny.xml"]
- ["/child::*"])
+let l = TEST.test_engine [] (make_queryset
+ documents
+ queries
+ )
;;
;;
-
-
-
List.iter (function (e,d),s ->
Printf.printf "\n-------------- %s -----------------" e;
Array.iter ( fun i ->
List.iter (function (e,d),s ->
Printf.printf "\n-------------- %s -----------------" e;
Array.iter ( fun i ->