run mochi automatically (may error occurs)

.gitignore

@@ -27,3 +27,4 @@ paper/related_work.tex
 paper/semantics.tex
 paper/typesystem.tex
 paper/wf_rules.tex
+src/test/to_mochi.ml

src/callMoCHi.ml

@@ -1,4 +1,6 @@
 let call_mochi =
-  let cmd = "~/git/MoCHi/src.mochi.exe ./test/to_mochi.ml" in
-  let proc = Process.spawn cmd in
-
+  let cmd = "~/git/MoCHi/src/mochi.exe ./test/to_mochi.ml" in
+  let p = Process.spawn cmd in
+  let res = (String.trim @@ input_line p.Process.proc_stdout, String.trim @@ input_line p.Process.proc_stderr) in
+  Process.dispose p;
+  res

src/consort.ml

@@ -242,5 +242,11 @@ let convmochi ~opts file =
       ((function Some x -> x | None -> assert false) ownership_res)
       ast
   in
-  ConvMoCHi.Mochi.print_prog prog;
+  (* ConvMoCHi.Mochi.print_prog prog; *)
+  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

src/convMoCHi.ml

@@ -265,6 +265,10 @@ module Mochi = struct
   let print_prog prog =
     print_endline builtin;
     pp_prog prog std_formatter
+
+  let write_to_channel_prog prog file =
+    Printf.fprintf file "%s\n" builtin;
+    pp_prog prog (Format.formatter_of_out_channel file);
 end
 
 let pull_type ty con i =