projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04980c8) | patch
model: check data races during release sequence fixup
authorBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 05:17:12 +0000 (22:17 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 05:22:52 +0000 (22:22 -0700)
commitb787fdfd9ec8f3aeda258d311b8a62b1dd6d41ee
tree8e30e8540b7b446b9d31a4f8b40548ae88010671tree | snapshot
parent04980c8b06eb8f1688876dd0989c64e4bc8bcb5bcommit | diff
model: check data races during release sequence fixup

This solves two problems:

1. I wasn't even checking for resolved data races after fixing up
   release sequence(s)

2. Launching of release sequence fixups now requires that there be
   pending data races
model.cc diff | blob | history
C11 Tester Tool Public Repository