diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-06-27 22:41:12 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-27 22:41:12 +0100 |
| commit | 2b3a2bcae555da44fdace23e9910d207048f0a2f (patch) | |
| tree | 5a6853a8eadb9805a1d0275f6a28e131f0f5336d /Source/BoogieDriver/BoogieDriver.cs | |
| parent | 8e703eea4fa0c8200d4e19b2b2c461fd68a1cd82 (diff) | |
GPUVerify: modify the variable definition analysis to track and reject self-referential definitions
Fixes Bugzilla bug #66.
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.cs')
0 files changed, 0 insertions, 0 deletions