Achieve nothing.

1 files changed, 9 insertions, 2 deletions

diff --git a/main.ml b/main.ml
index 2db911e..91ac4b1 100644
--- a/main.ml
+++ b/main.ml
@@ -11,12 +11,19 @@
   You should modify this file to call your functions instead!
 *)
 
+open Abstract_syntax_tree
+open Constant_domain
 
 (* parse and print filename *)
 let doit filename =
   let prog = File_parser.parse_file filename in
-  Abstract_syntax_printer.print_prog Format.std_formatter prog
-
+  Abstract_syntax_printer.print_prog Format.std_formatter prog;
+  List.fold_left
+    (fun s x -> match x with
+      | AST_stat(stat, _) -> CD.interp_abs(stat) s
+      | _ -> s)
+    CD.top_ts
+    (fst prog)
 
 (* parses arguments to get filename *)
 let main () =