diff options
| author |  akashlal <unknown> | 2012-12-28 15:33:34 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2012-12-28 15:33:34 +0530 |
| commit | 44542347498f3dfed6cffb3c17988dbfeb9e93ea (patch) | |
| tree | 69faa738262796344d92dce5facd85ff72ae26a2 /Source/BoogieDriver/BoogieDriver.cs | |
| parent | 37ab331bb770256f306d183901d4a603548526cd (diff) | |
Some more changes to AbsHoudini
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.cs')
| -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 1f5d7abd..a626de7f 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -623,6 +623,7 @@ namespace Microsoft.Boogie { CommandLineOptions.Clo.PrintErrorModel = 1;
CommandLineOptions.Clo.UseArrayTheory = true;
CommandLineOptions.Clo.TypeEncodingMethod = CommandLineOptions.TypeEncoding.Monomorphic;
+ CommandLineOptions.Clo.ProverCCLimit = 1;
// Run Abstract Houdini
Houdini.PredicateAbs.Initialize(program);
|