projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4224cb3) | patch
model: don't reset action_trace manually
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 00:11:09 +0000 (17:11 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 01:03:27 +0000 (18:03 -0700)
commit5b22024b3c5e054ed1861e90b47f28c5698fb3e1
treea24be37fe38d1c55ab7d0c0d75b88ee5e6515a29tree | snapshot
parent4224cb3a9afdac601fd2778253214e42f8b2fdf4commit | diff
model: don't reset action_trace manually

Snapshotting takes care of this one
model.cc diff | blob | history
C++11 memory model checker