projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b787fdf) | patch
tests: add some normal loads/stores to test data races
authorBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 05:19:01 +0000 (22:19 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 8 Oct 2012 05:22:52 +0000 (22:22 -0700)
commit7616e1626a8bdb735ed4f0b4da56f4816fc9cded
tree3cddec553404878001b784cf949aaeac4d6d53b5tree | snapshot
parentb787fdfd9ec8f3aeda258d311b8a62b1dd6d41eecommit | diff
tests: add some normal loads/stores to test data races

These tests had become less useful, since the model-checker would ignore
release sequence fixup in the absence of pending data races. So add some
normal loads and stores to our tests, inducing some data races and some
proper synchronization.
test/pending-release.c diff | blob | history
test/releaseseq.c diff | blob | history
This is the public repository for the CDSSpec specification compiler.