add call mochi

SoftwareFoundationGroupAtKyotoU · Nov 6, 2023 · ee5a3c4 · ee5a3c4
1 parent 26acaa9
commit ee5a3c4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/callMoCHi.ml b/src/callMoCHi.ml
@@ -0,0 +1,4 @@
+let call_mochi =
+  let cmd = "~/git/MoCHi/src.mochi.exe ./test/to_mochi.ml" in
+  let proc = Process.spawn cmd in
+
diff --git a/src/dune b/src/dune
@@ -44,7 +44,7 @@
           Z3BasedBackend Consort
           HoiceBackend NullSolver
           ExternalFileBackend EldaricaBackend ParallelBackend
-          ConvMoCHi))
+          ConvMoCHi CallMoCHi))
 
 (executable
  (name test)