diff options
Diffstat (limited to 'Source/GPUVerify/Predicator.cs')
| -rw-r--r-- | Source/GPUVerify/Predicator.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/GPUVerify/Predicator.cs b/Source/GPUVerify/Predicator.cs index 0950cd9a..316a3df6 100644 --- a/Source/GPUVerify/Predicator.cs +++ b/Source/GPUVerify/Predicator.cs @@ -251,7 +251,7 @@ namespace GPUVerify VisitWhileInvariants(whileCmd.Invariants, NewGuard),
VisitStmtList(whileCmd.Body));
- if (NewInvariant != null)
+ if (NewInvariant != null && !CommandLineOptions.NoLoopPredicateInvariants)
{
NewWhile.Invariants.Add(NewInvariant);
}
|