Main has test for cfg

bin/main.ml

@@ -1 +1,20 @@
-print_endline "Hello!"
+open MiniImp
+open MiniImp.Cfg
+
+let () =
+  let program = "def main with input x output y as
+                   x := 2;
+                   if y < 0 then (
+                       y := x + 3;
+                       x := y;
+                   ) else
+                       x := 1 - y;" in
+
+
+  let get_result x = Lexing.from_string x |> Parser.prg Lexer.lex in
+
+  let p = get_result program in
+
+  let converted = convert p in
+
+  Printf.printf "%a" Cfg.pp converted