projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb8f7f7) | patch
model: do not call isfinalfeasible() too many times
authorBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 18:13:46 +0000 (11:13 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 18:16:30 +0000 (11:16 -0700)
commit7cee72d776ddfbf585038f3cad3df799e353cc11
tree1ffa63dc05d1bd4efbcd177cc300a18253166832tree | snapshot
parentfb8f7f7b022e4a45fb1f918a43dba03f2336435acommit | diff
model: do not call isfinalfeasible() too many times

This function call incurs graph exploration, so when performing some
end-of-trace bookkeeping, we should only call it once and cache the result.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker