Add intervals domain ; some interesting analysis works.

1 files changed, 2 insertions, 1 deletions

diff --git a/main.ml b/main.ml
index be98cf7..d063699 100644
--- a/main.ml
+++ b/main.ml
@@ -2,7 +2,8 @@ open Ast
 
 module Interpret = Interpret.I
 
-module AI = Abs_interp.I(Apron_domain.D)
+module IntD = Nonrelational.D(Intervals_domain.VD)
+module AI = Abs_interp.I(IntD)
 
 (* command line options *)
 let dump = ref false