Race Test Description

1 view
Skip to first unread message

Phillip Vassenkov

unread,
May 24, 2013, 12:46:33 AM5/24/13
to data-ra...@googlegroups.com
Hey all,

I'm using the racecheck unittests to test a race detector I'm writing.

Is there any documentation that summarizes which tests are false positive, true positive, true negative, false negative? I'm trying to save myself the trouble of creating such a spreadsheet :)

Dmitry Vyukov

unread,
May 24, 2013, 1:17:20 AM5/24/13
to data-ra...@googlegroups.com
The tests that contain ANNOTATE_EXPECTED_RACE (or AnnotateExpectedRace, or try searching by "expected") contain a race that a race detector must find.
The remaining tests do not contain a data race (sometimes it is prevented by a tricky synchronization).
False positives and false negatives depend on your race detector.






--
You received this message because you are subscribed to the Google Groups "data-race-test" group.
To unsubscribe from this group and stop receiving emails from it, send an email to data-race-tes...@googlegroups.com.
To post to this group, send email to data-ra...@googlegroups.com.
Visit this group at http://groups.google.com/group/data-race-test?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

Reply all
Reply to author
Forward
0 new messages