X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fconfig.ml;fp=benchmark%2Fconfig.ml;h=0000000000000000000000000000000000000000;hb=ff0d1111e34d2aba9b6454e0c95b67bd38ba392c;hp=422c0c4e7f9a4f82ed0e44e2bc3d6d9d179d88ef;hpb=b7760799ea0d052916a0581fb0abe119d49e8a63;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/config.ml b/benchmark/config.ml
deleted file mode 100644
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))))
-