benchmark/config.ml.in

   1 (* semi-colon separated list of input documents *)
   2 let documents = [ "../tests/tiny.xml" ]
   3
   4 (* semi-colon separated list of XPath queries *)
   5 let queries = [ "//*" ]
   6
   7
   8 (* I is the initial configuration
   9  * MK (engine) (configuration) gives a new configuration
  10  * valid engines are SXSI and SaxonBXQuery
  11  * ex: if you only want to test SaxonBXQuery :
  12  * module TEST = MK (SaxonBXQuery) (I)
  13  *)
  14
  15 module CONF : CONFIGURATION =
  16 struct
  17   let path = "output"
  18   let result_basename = "test"
  19   let num_runs = 2
  20   let run_with_output = true
  21   let run_without_output = true
  22 end
  23
  24 module I = INIT_TESTER (CONF)
  25
  26 module TEST =
  27   MK (SXSI)
  28           (MK (SaxonBXQuery) (I))
  29