(* semi-colon separated list of input documents *)
-let documents = [ "../tests/tiny.srx" ]
+let documents = [ "../tests/tiny.xml" ]
(* semi-colon separated list of XPath queries *)
-let queries = [ "/*" ]
+let queries = [ "//para[ contains(.,\"international\") ]//acronym"; "//*//*//*//*"; "/*"; "//part//text()" ]
(* I is the initial configuration
module CONF : CONFIGURATION =
struct
- let path = "."
+ let path = "output"
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)
-module TEST = MK (SXSI) (I)
+module TEST =
+ MK (SXSI)
+ (MK (XsltProc)
+ (MK (QizxOpen)
+ (MK (SaxonBXQuery) (I))))