diff options
| author |  qadeer <unknown> | 2014-06-02 00:04:15 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-06-02 00:04:15 -0700 |
| commit | 77b57bda1bb6c31f99b1f215943c8c1b73dc2200 (patch) | |
| tree | db9cc7aacd3392f3c71542921f8f7adcd1cf215a /Source/Concurrency/OwickiGries.cs | |
| parent | 8f5906c401ff0cc1111f15a968c62566a2ed582e (diff) | |
various fixes
Diffstat (limited to 'Source/Concurrency/OwickiGries.cs')
| -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 c99d3507..167d9f2c 100644 --- a/Source/Concurrency/OwickiGries.cs +++ b/Source/Concurrency/OwickiGries.cs @@ -1144,7 +1144,7 @@ namespace Microsoft.Boogie public static void AddCheckers(LinearTypeChecker linearTypeChecker, MoverTypeChecker moverTypeChecker, List<Declaration> decls)
{
Program program = linearTypeChecker.program;
- foreach (int phaseNum in moverTypeChecker.AllPhaseNums)
+ foreach (int phaseNum in moverTypeChecker.AllPhaseNums.Except(new int[] { 0 }))
{
if (CommandLineOptions.Clo.TrustPhasesDownto <= phaseNum || phaseNum <= CommandLineOptions.Clo.TrustPhasesUpto) continue;
|