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
tree3e039c167fad2ac1b5f21be840471102f9eb3ed1
parent75ebee456936b1f68da592800b4ad0af57d830cf
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