projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 202074f) | patch
common: print tracing info for ASSERT() failures
authorBrian Norris <banorris@uci.edu>
Fri, 14 Sep 2012 19:58:05 +0000 (12:58 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 18 Sep 2012 17:45:01 +0000 (10:45 -0700)
commit4203bdeef61d936086b63b807a115d266825ff2e
tree20c9c470280c83e7b099feda2235d0b6dd483ed5tree | snapshot
parent202074f941d19cef894068e7f79d76b2df598f4bcommit | diff
common: print tracing info for ASSERT() failures

This adds a global model_print_summary() function, so we can view the current
ModelChecker summary info when we hit an assertion.
common.cc diff | blob | history
common.h diff | blob | history
C++11 memory model checker