diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-08-14 08:11:48 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-08-14 08:11:48 +0100 |
| commit | abaeb63964d453b32bc40f820d54d108a354b5a9 (patch) | |
| tree | 289c0b4e4911464534ab7a029fba85af44cd079b /Source/GPUVerify.sln | |
| parent | 5440f7905d316fbccab19102776cc2d90eef61ae (diff) | |
Separated race checking into logging and checking calls. This simplifies
error reporting.
Diffstat (limited to 'Source/GPUVerify.sln')
0 files changed, 0 insertions, 0 deletions