diff options
| author |  akashlal <unknown> | 2013-04-25 14:13:16 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2013-04-25 14:13:16 +0530 |
| commit | d1b98641093f94f76c74bdf477f2bfeeea3ad945 (patch) | |
| tree | db29eee0617a2121713710477bc665a3044ef784 /Source/BoogieDriver | |
| parent | 410f9a6ade1e16402e283e39bb68e21bb9a8c10b (diff) | |
AbsHoudini: Added predicate-abstraction domain and some examples.
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 1 |
1 files changed, 1 insertions, 0 deletions
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<Houdini.HoudiniConst>() as Houdini.IAbstractDomain),
System.Tuple.Create("IA[ConstantProp]", new Houdini.IndependentAttribute<Houdini.ConstantProp>() as Houdini.IAbstractDomain),
System.Tuple.Create("IA[Intervals]", new Houdini.IndependentAttribute<Houdini.Intervals>() as Houdini.IAbstractDomain)
|