projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b22024) | patch
model: don't clear thread_map (snapshot)
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 00:59:13 +0000 (17:59 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 01:04:26 +0000 (18:04 -0700)
commitb7827b7c4bb29f0859b8623bccc34e5032cfd2aa
tree8be6a9761315944a17da1824eac8179b9b44c040tree | snapshot
parent5b22024b3c5e054ed1861e90b47f28c5698fb3e1commit | diff
model: don't clear thread_map (snapshot)

The thread_map structure is being snapshotted, so no need to clear it.
model.cc diff | blob | history
C++11 memory model checker