projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: c0eda11)
threads: set up Thread to be freed properly
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 03:13:02 +0000 (20:13 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 03:13:02 +0000 (20:13 -0700)
To ensure that we can free memory properly, set up a destructor and rename
dispose() to complete().


No differences found
C++11 memory model checker