projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d596a0e) | patch
common: early quit on MODEL_ASSERT()
authorBrian Norris <banorris@uci.edu>
Sun, 4 Nov 2012 00:50:26 +0000 (17:50 -0700)
committerBrian Norris <banorris@uci.edu>
Sun, 4 Nov 2012 00:50:26 +0000 (17:50 -0700)
commitddea30a10d1acaef02712575c6fa4856de72cd4c
tree1a46c8a2b79b7d4c75f5534f1b3ad2f225329a21tree | snapshot
parentd596a0e422232c82e01fe266ca2099d0eff5de0fcommit | diff
common: early quit on MODEL_ASSERT()

If a user program hits an assertion, we should quit before executing any
further. i.e., don't even wait for the next atomic action, since the
assertion might trigger more bugs that have unintended/unforseen
consequences.
common.cc diff | blob | history
C++11 memory model checker