diff options
| author |  akashlal <unknown> | 2011-12-04 13:14:23 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2011-12-04 13:14:23 +0530 |
| commit | 090202f9034909878796f1c197f18c43e047bcbd (patch) | |
| tree | fdb2a22573a6d58a39fe5b57e61b2979a522264b /Source/GPUVerify/GPUVerifier.cs | |
| parent | 7b8a0e0a4e75f28a1721bee9179f65bd405301c2 (diff) | |
Emit attribute on a requires
Diffstat (limited to 'Source/GPUVerify/GPUVerifier.cs')
0 files changed, 0 insertions, 0 deletions