From 410f9a6ade1e16402e283e39bb68e21bb9a8c10b Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Thu, 25 Apr 2013 13:51:18 +0530
Subject: AbsHoudini: Added support for DoNotUsLabels, domain for simulating
 Houdini, few bug fixes, hack to support missing prover declarations.

---
 Source/BoogieDriver/BoogieDriver.cs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Source/BoogieDriver')

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 0ffa5619..f3194256 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -649,8 +649,10 @@ namespace Microsoft.Boogie {
               CommandLineOptions.Clo.ProverCCLimit = 1;
               // Declare abstract domains
               var domains = new List<System.Tuple<string, Houdini.IAbstractDomain>>(new System.Tuple<string, Houdini.IAbstractDomain>[] {
+                  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("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)
               });
-- 
cgit v1.2.3