diff options
author | 2013-06-16 13:19:59 +0530 | |
---|---|---|
committer | 2013-06-16 13:19:59 +0530 | |
commit | 98f9075631ef7a93e793110af58a86a4b239a14f (patch) | |
tree | 3d3cd73dd647fcb8af8fd3cf95dc81a3b18d3e2c /Source/ExecutionEngine | |
parent | da2344988055819e33a8737bfdf5e1c6a2bbd0fe (diff) |
AbsHoudini: Few more abstract domains
Diffstat (limited to 'Source/ExecutionEngine')
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index c7e8f0cc..77358f9b 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -882,7 +882,7 @@ namespace Microsoft.Boogie CommandLineOptions.Clo.ModelViewFile = "z3model";
CommandLineOptions.Clo.UseArrayTheory = true;
CommandLineOptions.Clo.TypeEncodingMethod = CommandLineOptions.TypeEncoding.Monomorphic;
- Houdini.AbstractDomainFactory.Initialize();
+ Houdini.AbstractDomainFactory.Initialize(program);
var domain = Houdini.AbstractDomainFactory.GetInstance(CommandLineOptions.Clo.AbstractHoudini);
// Run Abstract Houdini
|