diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-06-27 19:29:35 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-27 19:29:35 +0100 |
| commit | 875484286cd181f202d19e551e57d29d7c74952f (patch) | |
| tree | 85d82cb8d296eac2ac4efb777b30de5d89ef6ec8 /Source/GPUVerify/AccessInvariantProcessor.cs | |
| parent | 3da043afb5b24a6acd0d28a611b11e2db3de0483 (diff) | |
GPUVerify: use original expression for undefined variables
Fixes Bugzilla bug #64.
Diffstat (limited to 'Source/GPUVerify/AccessInvariantProcessor.cs')
0 files changed, 0 insertions, 0 deletions