From 8286c7c23a47c166aa87337a3146cdf3b278b144 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Thu, 19 Jun 2014 10:51:59 +0200 Subject: Isolate numerical part of domain. Next: isolate numerical part of equations. --- main.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'main.ml') diff --git a/main.ml b/main.ml index b63b35f..72c43b0 100644 --- a/main.ml +++ b/main.ml @@ -2,9 +2,13 @@ open Ast module Interpret = Interpret.I -module ItvD = Nonrelational.D(Intervals_domain.VD) +module ItvND = Nonrelational.ND(Intervals_domain.VD) +module ItvD = Abs_domain.D(ItvND) + +module ApronD = Abs_domain.D(Apron_domain.ND) + module AI_Itv = Abs_interp.I(ItvD) -module AI_Rel = Abs_interp.I(Apron_domain.D) +module AI_Rel = Abs_interp.I(ApronD) (* command line options *) let dump = ref false -- cgit v1.2.3