diff options
| author |  Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-12-03 16:52:09 +0530 |
|---|---|---|
| committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-12-03 16:52:09 +0530 |
| commit | 84776d871175f24bed3b236be09f9e118c634869 (patch) | |
| tree | 9732b6a50379b668acb54c2ae205f7202e46675e /Source/BoogieDriver/BoogieDriver.cs | |
| parent | 1d36dd2010c2d569bbe2a94ebe0cf664366033cd (diff) | |
Allow richer spec for abs-houdini
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.cs')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs index 035eb549..a99f1f47 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -623,7 +623,7 @@ namespace Microsoft.Boogie { // Run Abstract Houdini
Houdini.PredicateAbs.Initialize(program);
var abs = new Houdini.AbstractHoudini(program);
- abs.computeSummaries(new Houdini.PredicateAbs());
+ abs.computeSummaries(new Houdini.PredicateAbs(program.TopLevelDeclarations.OfType<Implementation>().First().Name));
return PipelineOutcome.Done;
}
|