projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 471e92c) | patch
model: improve ModelChecker::get_last_conflict() search
authorBrian Norris <banorris@uci.edu>
Thu, 12 Jul 2012 22:38:10 +0000 (15:38 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 12 Jul 2012 22:38:10 +0000 (15:38 -0700)
commit261dbf935562b373816022f39765400c46c71b03
treeab4de30a9f1eaaeaf3dbb5a8f2f0e586e73e75c9tree | snapshot
parent471e92c4bc5de8629d044a61eea5e1ff0670daadcommit | diff
model: improve ModelChecker::get_last_conflict() search

Use the recently-added 'obj_map' to isolate a list of actions on only the
current object (memory location). That way, we don't have to iterate through as
much noise in our lists.
model.cc diff | blob | history
C11 Tester Tool Public Repository