Add basic testsuite skeleton

_oasis

@@ -110,6 +110,17 @@ Executable coalgcompare
   if flag(static)
     CCLib:            -static
 
+Executable testsuite
+  CompiledObject:   native
+  Path:             src/testsuite/
+  BuildTools:       ocamlbuild
+  MainIs:           cool-testsuite.ml
+  BuildDepends:     libcool
+  NativeOpt:        -cc g++
+  ByteOpt:        -cc g++
+  CCOpt: -std=c++98 -x c++
+  if flag(static)
+    CCLib:            -static
 
 
 # some cabal similar syntax, so steal its syntax highlighting

src/testsuite/Testsuite.ml

+
+
+module CM = CoAlgMisc
+
+module CR = CoAlgReasoner
+
+(* sort should be of the form:
+    sorts = [| (parseFunctor Sys.argv.(2), [0]) |]
+*)
+
+type satCheck = bool * (CoAlgMisc.sortTable) * string (* sat * functors * formula *)
+
+type testResult = | Correct | WrongAnswer | ParseError
+
+let runSatCheck sc =
+    WrongAnswer

src/testsuite/Testsuite.mli

+
+
+(* sort should be of the form:
+    sorts = [| (parseFunctor Sys.argv.(2), [0]) |]
+*)
+
+type satCheck = bool * (CoAlgMisc.sortTable) * string (* sat * functors * formula *)
+
+type testResult = | Correct | WrongAnswer | ParseError
+
+val runSatCheck : satCheck -> testResult
+

src/testsuite/cool-testsuite.ml

+open CoolUtils
+open Testsuite
+module CF = CoAlgFormula
+module CR = CoAlgReasoner
+module CM = CoAlgMisc
+module L = List
+
+let k   = [| (CM.MultiModalK,  [0]) |]
+let kd  = [| (CM.MultiModalKD, [0]) |]
+let cl  = [| (CM.CoalitionLogic, [0]) |]
+let gml = [| (CM.GML, [0]) |]
+
+let main =
+    print_endline "todo"
+
+
+let _ = main
+