diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-03-19 20:00:11 +0000 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-03-19 20:00:11 +0000 |
| commit | 8bbb91e35565c25512ebb2fb0c108deca883ef4c (patch) | |
| tree | 141d23a9afcfd3f6e7c38cd9fac7e7639bef5301 /Source/GPUVerify/GPUVerifier.cs | |
| parent | f1551e8596fc8a874155720bc568db3246ba00ef (diff) | |
Added the option to let user determine whether or not GPUVerify should add invariants checking equality between arrays.
Diffstat (limited to 'Source/GPUVerify/GPUVerifier.cs')
| -rw-r--r-- | Source/GPUVerify/GPUVerifier.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/GPUVerify/GPUVerifier.cs b/Source/GPUVerify/GPUVerifier.cs index 662e2578..ed552598 100644 --- a/Source/GPUVerify/GPUVerifier.cs +++ b/Source/GPUVerify/GPUVerifier.cs @@ -918,7 +918,7 @@ namespace GPUVerify }
}
- if (!CommandLineOptions.FullAbstraction)
+ if (!CommandLineOptions.FullAbstraction && CommandLineOptions.ArrayEqualities)
{
foreach (Variable v in NonLocalState.getAllNonLocalVariables())
{
|