projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d11a1c) | 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>
Wed, 14 Nov 2012 22:48:14 +0000 (14:48 -0800)
commit8714c78cf3335c3b9f922828e394f98cd0e69428
treeccc519e4bd57c0ac7125a226cab1115874e4da0atree | snapshot
parent3d11a1c3f7543139e9fa5a450e7a57b73f030cafcommit | 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