projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e520de) | patch
model: pull 'has_asserted()' check out of take_step()
authorBrian Norris <banorris@uci.edu>
Wed, 13 Feb 2013 01:24:31 +0000 (17:24 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 22:55:02 +0000 (14:55 -0800)
commit54e338c739b2aa1f222ca378f1f98b857870a0fa
treee859f07f80aff2bf4bae9b6e3373bbb9bc277466tree | snapshot
parent3e520de48b5be0b0d4fa4a5f033e207b17c4496dcommit | diff
model: pull 'has_asserted()' check out of take_step()

Checks for mid-execution assertions should occur before take_step().
This can catch a mid-step bug (e.g., data race or user-assertion) that
happens between ModelAction steps.
model.cc diff | blob | history
C11 Tester Tool Public Repository