Added option to avoid unrolling irreducible loops

1 files changed, 1 insertions, 0 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index e6f467c8..03e2ce17 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -593,6 +593,7 @@ namespace Microsoft.Boogie {
     public bool PrintInlined = false;

     public bool ExtractLoops = false;

     public bool DeterministicExtractLoops = false;

+    public bool ExtractLoopsUnrollIrreducible = true; // unroll irreducible loops? (set programmatically)

     public int StratifiedInlining = 0;

     public string FixedPointEngine = null;

     public int StratifiedInliningOption = 0;