projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: c108b7d)
common: drop model_print_summary()
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 01:19:10 +0000 (18:19 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 01:20:02 +0000 (18:20 -0700)
This can cause problems if we include it in the output of ASSERT().


No differences found
C++11 memory model checker