call mochi

SoftwareFoundationGroupAtKyotoU · Mar 21, 2024 · 130d1ec · 130d1ec
1 parent 426c77d
commit 130d1ec
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 10 deletions.
diff --git a/src/callMoCHi.ml b/src/callMoCHi.ml
diff --git a/src/consort.ml b/src/consort.ml
@@ -246,7 +246,4 @@ let convmochi ~opts file =
   let file = open_out "./test/to_mochi.ml" in
   ConvMoCHi.Mochi.write_to_channel_prog prog file;
   Out_channel.close file;
-  (* let (res_out, res_err) = CallMoCHi.call_mochi in
-  print_endline res_out;
-  print_endline res_err; *)
   match ownership_res with None -> Unverified Aliasing | Some _ -> Verified
diff --git a/src/dune b/src/dune
@@ -44,7 +44,7 @@
           Z3BasedBackend Consort
           HoiceBackend NullSolver
           ExternalFileBackend EldaricaBackend ParallelBackend
-          ConvMoCHi CallMoCHi))
+          ConvMoCHi))
 
 (executable
  (name test)