diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-06-15 15:48:20 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-15 15:48:20 +0100 |
| commit | b9e4d44651671f03ce9a1ce5a6801a1ee517be21 (patch) | |
| tree | 0e82b4b0ee85e3fb5f385b507eb1647d5f470ae5 /Source/GPUVerify/INonLocalState.cs | |
| parent | 9b244daef1ff937c4a01974828f1b2216642365a (diff) | |
GPUVerify: revert ac36537a0eb8, as this is in fact a candidate invariant (e.g. consider a loop within a conditional)
Pointed out by Ally.
Diffstat (limited to 'Source/GPUVerify/INonLocalState.cs')
0 files changed, 0 insertions, 0 deletions