projects / c11tester.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: c123ef2)
datarace: simplify raceCheck{Read,Write}() function interfaces
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 01:46:18 +0000 (18:46 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 01:47:14 +0000 (18:47 -0700)
The user should not have to pass in a ClockVector.


No differences found
C11 Tester Tool Public Repository