diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-18 17:52:23 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-18 17:52:23 -0700 |
| commit | 3cae76fab3d7014a2a7802f1706bb58338e4a402 (patch) | |
| tree | e9661515b200494ad942883612497faea80c9ba9 /Source/DafnyDriver | |
| parent | e9bee3feed78b1bb2c8e455e02eb40dc1c826eed (diff) | |
Pass Boogie's new SoundLoopUnrolling parameter
Diffstat (limited to 'Source/DafnyDriver')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index 80f78d16..e7679a11 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -543,7 +543,7 @@ namespace Microsoft.Dafny }
if (CommandLineOptions.Clo.LoopUnrollCount != -1) {
- program.UnrollLoops(CommandLineOptions.Clo.LoopUnrollCount);
+ program.UnrollLoops(CommandLineOptions.Clo.LoopUnrollCount, CommandLineOptions.Clo.SoundLoopUnrolling);
}
if (CommandLineOptions.Clo.PrintInstrumented) {
|