Some abstract interpretation does something now.

1 files changed, 2 insertions, 6 deletions

diff --git a/main.ml b/main.ml
index ccc0e0d..be98cf7 100644
--- a/main.ml
+++ b/main.ml
@@ -2,7 +2,7 @@ open Ast
 
 module Interpret = Interpret.I
 
-module Abstract = Apron_domain.D
+module AI = Abs_interp.I(Apron_domain.D)
 
 (* command line options *)
 let dump = ref false
@@ -65,11 +65,7 @@ let () =
       let prog = Rename.rename_prog prog in
       if !dumprn then Ast_printer.print_prog Format.std_formatter prog;
 
-      let prog_f = Formula.eliminate_not (Transform.f_of_prog prog "test") in
-      Formula_printer.print_expr Format.std_formatter prog_f;
-      Format.printf "@.";
-      let prog_f_cl = Formula.conslist_of_f prog_f in
-      Formula_printer.print_conslist Format.std_formatter prog_f_cl;
+      let () = AI.do_prog prog "test" in
 
       if !vtest then do_test_interpret prog true
       else if !test then do_test_interpret prog false;