diff options
| author |  qadeer <unknown> | 2014-02-24 12:58:19 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-02-24 12:58:19 -0800 |
| commit | bf2a30fd04828fcf3480707ba2916a4d037a4cf3 (patch) | |
| tree | ff13ae7b53c7e9753de909dd7fc654addbd1a83d /Source/Concurrency | |
| parent | 4990bcec2f5c90dae5e55f4d664dec10e813fa6a (diff) | |
Added /trustPhasesDownto option
Diffstat (limited to 'Source/Concurrency')
| -rw-r--r-- | Source/Concurrency/OwickiGries.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Concurrency/OwickiGries.cs b/Source/Concurrency/OwickiGries.cs index 00f830f9..911258ff 100644 --- a/Source/Concurrency/OwickiGries.cs +++ b/Source/Concurrency/OwickiGries.cs @@ -1258,7 +1258,7 @@ namespace Microsoft.Boogie Program program = linearTypeChecker.program;
foreach (int phaseNum in moverTypeChecker.allPhaseNums)
{
- if (phaseNum <= CommandLineOptions.Clo.TrustPhasesUpto) continue;
+ if (CommandLineOptions.Clo.TrustPhasesDownto <= phaseNum || phaseNum <= CommandLineOptions.Clo.TrustPhasesUpto) continue;
MyDuplicator duplicator = new MyDuplicator(moverTypeChecker, phaseNum);
List<Implementation> impls = new List<Implementation>();
|