projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
cf4cc8a
)
model: do not assume THREAD_FINISH is always the last action
author
Brian Norris
<banorris@uci.edu>
Wed, 3 Oct 2012 22:36:26 +0000
(15:36 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 3 Oct 2012 22:36:26 +0000
(15:36 -0700)
It's possible that there will be special fixup ModelActions added, so
just use the Thread::is_complete() method to check for a completed
Thread.
No differences found