diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-05-21 11:35:57 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-05-21 11:35:57 -0700 |
| commit | f409d38528dd105ac38f809f1acceab0be18302c (patch) | |
| tree | 4090980542835e2b0225869595400343fb8d8561 /Source/BoogieDriver | |
| parent | 64a9d2ef6ce31470245cef7c09cdf9821221b32b (diff) | |
starting the implementation of the new stratified inlining API
Diffstat (limited to 'Source/BoogieDriver')
| -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 192ab444..61943cf0 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -692,7 +692,7 @@ namespace Microsoft.Boogie { if (c == null || !c.Name.StartsWith(CommandLineOptions.Clo.inferLeastForUnsat)) continue;
ss.Add(c.Name);
}
- outcome = svcgen.FindLeastToVerify(impl, program, ref ss);
+ outcome = svcgen.FindLeastToVerify(impl, ref ss);
errors = new List<Counterexample>();
Console.Write("Result: ");
foreach (var s in ss) {
|