(* semi-colon separated list of input documents *)
let documents = [ "../tests/tiny.xml" ]

(* semi-colon separated list of XPath queries *)
let queries = [ "//*" ]


(* I is the initial configuration
 * MK (engine) (configuration) gives a new configuration
 * valid engines are SXSI and SaxonBXQuery
 * ex: if you only want to test SaxonBXQuery :
 * module TEST = MK (SaxonBXQuery) (I)
 *)

module CONF : CONFIGURATION = 
struct
  let path = "output"
  let result_basename = "test"
  let num_runs = 2
  let run_with_output = true
  let run_without_output = true
end

module I = INIT_TESTER (CONF)

module TEST = 
  MK (SXSI) 
	  (MK (SaxonBXQuery) (I))