projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 4203bde)
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)
This adds a global model_print_summary() function, so we can view the current
ModelChecker summary info when we hit an assertion.


No differences found
C++11 memory model checker