diff options
| author |  Yannick Welsch <welsch@cs.uni-kl.de> | 2012-07-03 11:57:20 +0200 |
|---|---|---|
| committer | Yannick Welsch <welsch@cs.uni-kl.de> | 2012-07-03 11:57:20 +0200 |
| commit | 7908529e20a9e32fa926bc41ba74843f988f653d (patch) | |
| tree | 8f2f037d78a7fb432f523a0947cca9a97d4a65b5 /Source/BoogieDriver | |
| parent | cf0330e3f27e5847732f6152e158e8292f37b402 (diff) | |
added sound loop unrolling
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 402b5c68..6729532e 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -591,7 +591,7 @@ namespace Microsoft.Boogie { Microsoft.Boogie.AbstractInterpretation.NativeAbstractInterpretation.RunAbstractInterpretation(program);
if (CommandLineOptions.Clo.LoopUnrollCount != -1) {
- program.UnrollLoops(CommandLineOptions.Clo.LoopUnrollCount);
+ program.UnrollLoops(CommandLineOptions.Clo.LoopUnrollCount, CommandLineOptions.Clo.SoundLoopUnrolling);
}
Dictionary<string, Dictionary<string, Block>> extractLoopMappingInfo = null;
|