Added /trustPhasesUpto option

1 files changed, 2 insertions, 0 deletions

diff --git a/Source/Concurrency/OwickiGries.cs b/Source/Concurrency/OwickiGries.cs
index f442c1af..00f830f9 100644
--- a/Source/Concurrency/OwickiGries.cs
+++ b/Source/Concurrency/OwickiGries.cs
@@ -1258,6 +1258,8 @@ namespace Microsoft.Boogie
             Program program = linearTypeChecker.program;

             foreach (int phaseNum in moverTypeChecker.allPhaseNums)

             {

+                if (phaseNum <= CommandLineOptions.Clo.TrustPhasesUpto) continue;

+

                 MyDuplicator duplicator = new MyDuplicator(moverTypeChecker, phaseNum);

                 List<Implementation> impls = new List<Implementation>();

                 List<Procedure> procs = new List<Procedure>();