.

[SXSI/xpathcomp.git] / benchmark / config.ml

diff --git a/benchmark/config.ml b/benchmark/config.ml
deleted file mode 100644 (file)
index 422c0c4..0000000
--- a/benchmark/config.ml
+++ /dev/null
@@ -1,31 +0,0 @@
-(* semi-colon separated list of input documents *)
-let documents = [ "../tests/tiny.xml" ]
-
-(* semi-colon separated list of XPath queries *)
-let queries = [ "//para[ contains(.,\"international\") ]//acronym"; "//*//*//*//*"; "/*"; "//part//text()" ]
-
-
-(* 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 (XsltProc) 
-       (MK (QizxOpen) 
-         (MK (SaxonBXQuery) (I))))
-