From f04de3faad13a3904836dd1bd8c334b6634d60a4 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 18 Jun 2014 10:22:35 +0200
Subject: Add intervals domain ; some interesting analysis works.

---
 main.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'main.ml')

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
-- 
cgit v1.2.3