projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b118d83) | patch
model: delete Threads on destruction
authorBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 17:25:31 +0000 (10:25 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 18:03:11 +0000 (11:03 -0700)
commit038be645c074ea23a606bd22a6b7c62469335f63
tree2d4f5342602da512fc70ebbc04360fc43ce7dda3tree | snapshot
parentb118d83f84a47a6ac778ed8ea43030d477b0bc9ccommit | diff
model: delete Threads on destruction

When switching from STL map to hashtable, the Thread destruction was just
commented out instead of reimplemented. This is a good enough version, I think.
model.cc diff | blob | history
C++11 memory model checker