projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb7d648) | patch
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)
commitc108b7d5709061ced258f5106ac67ada91242fc3
tree1f38774664df360a654293c37c3476432da8ebbdtree | snapshot
parentcb7d648c3c1c3d916c7fc60a7cb332eb2b52d510commit | diff
common: drop model_print_summary()

This can cause problems if we include it in the output of ASSERT().
common.cc diff | blob | history
common.h diff | blob | history
C++11 memory model checker