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