More work on EDDs.

1 files changed, 3 insertions, 4 deletions

diff --git a/main.ml b/main.ml
index d526a76..dde682f 100644
--- a/main.ml
+++ b/main.ml
@@ -12,9 +12,7 @@ module ItvND = Nonrelational.ND(Intervals_domain.VD)
 module AI_Itv = Abs_interp.I(Enum_domain.MultiValuation)(ItvND)
 module AI_Rel = Abs_interp.I(Enum_domain.MultiValuation)(Apron_domain.ND)
 
-(*
 module AI_Itv_EDD = Abs_interp_edd.I(ItvND)
-*)
 
 (* command line options *)
 let dump = ref false
@@ -82,6 +80,8 @@ let do_test_interpret prog verbose =
     it 0 s0
 
 let () =
+    AI_Itv_EDD.test ();
+
     Arg.parse options (fun f -> ifile := f) usage;
 
     if !ifile = "" then begin
@@ -117,9 +117,8 @@ let () =
           
           if !ai_itv then AI_Itv.do_prog opt rp;
           if !ai_rel then AI_Rel.do_prog opt rp;
-          (*
+          
           if !ai_itv_edd then AI_Itv_EDD.do_prog opt rp;
-          *)
       end;
 
       if !vtest then do_test_interpret prog true