Use LAST instead of NEXT (only EDD implementation works at the moment)

1 files changed, 6 insertions, 1 deletions

diff --git a/main.ml b/main.ml
index 5e9f087..a02820c 100644
--- a/main.ml
+++ b/main.ml
@@ -1,16 +1,19 @@
+open Cmdline
+
 open Ast
 
 open Num_domain
 open Nonrelational
 open Apron_domain
-open Abs_interp
 
 module Interpret = Interpret.I
 
 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)
 module AI_Rel_EDD = Abs_interp_edd.I(Apron_domain.ND)
@@ -123,8 +126,10 @@ let () =
               vverbose_ci = !ai_vvci;
           } in
           
+          (*
           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;
           if !ai_rel_edd then AI_Rel_EDD.do_prog opt rp;