From d1b98641093f94f76c74bdf477f2bfeeea3ad945 Mon Sep 17 00:00:00 2001 From: akashlal Date: Thu, 25 Apr 2013 14:13:16 +0530 Subject: AbsHoudini: Added predicate-abstraction domain and some examples. --- Source/BoogieDriver/BoogieDriver.cs | 1 + 1 file changed, 1 insertion(+) (limited to 'Source/BoogieDriver') diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs index f3194256..afc1a098 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -652,6 +652,7 @@ namespace Microsoft.Boogie { System.Tuple.Create("HoudiniConst", Houdini.HoudiniConst.GetBottom() as Houdini.IAbstractDomain), System.Tuple.Create("Intervals", new Houdini.Intervals() as Houdini.IAbstractDomain), System.Tuple.Create("ConstantProp", Houdini.ConstantProp.GetBottom() as Houdini.IAbstractDomain), + System.Tuple.Create("PredicateAbs", new Houdini.PredicateAbsElem() as Houdini.IAbstractDomain), System.Tuple.Create("IA[HoudiniConst]", new Houdini.IndependentAttribute() as Houdini.IAbstractDomain), System.Tuple.Create("IA[ConstantProp]", new Houdini.IndependentAttribute() as Houdini.IAbstractDomain), System.Tuple.Create("IA[Intervals]", new Houdini.IndependentAttribute() as Houdini.IAbstractDomain) -- cgit v1.2.3