projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75ebee4) | patch
model: remove useless special case
authorBrian Norris <banorris@uci.edu>
Thu, 15 Nov 2012 00:30:39 +0000 (16:30 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 15 Nov 2012 00:30:39 +0000 (16:30 -0800)
commit4bb070b43345c8617c6c627e2b9b24039affb6b7
tree3e039c167fad2ac1b5f21be840471102f9eb3ed1tree | snapshot
parent75ebee456936b1f68da592800b4ad0af57d830cfcommit | diff
model: remove useless special case

Why do we want to print races, etc., when exiting due to execution
length bound? If you want that, just enable debug prints.
model.cc diff | blob | history
C++11 memory model checker