projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5586398) | patch
model: privatize some thread functions
authorBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 20:24:06 +0000 (12:24 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 20:24:06 +0000 (12:24 -0800)
commita575b5d5d2f0edab95e7e0ef8ca6e40b68e0bad9
tree2cc038f0e3ec85b49d5aecca98564d3404ebfb4btree | snapshot
parent558639859f57b469b0b0c1a16690262a277c9f30commit | diff
model: privatize some thread functions

We never need to call ModelChecker::add_thread from outside
ModelChecker.

We really shouldn't try to call 'remove_thread' from the Thread
destructor. It's unnecessary.
model.cc diff | blob | history
model.h diff | blob | history
threads.cc diff | blob | history
C++11 memory model checker