projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c85c272) | patch
model: is_deadlocked() (sort of) had a bug
authorBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 23:53:16 +0000 (15:53 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 23:53:16 +0000 (15:53 -0800)
commit9da5e4a1fe226af688c08ea953a3526354c4a56f
tree9d22b7fd2b0f3d38378ded4c05eb78a839ef703atree | snapshot
parentc85c272294e7208e13ee5fb8e7481ee6a3732911commit | diff
model: is_deadlocked() (sort of) had a bug

We were comparing the boolean (is_enabled(t)) to an enum
(THREAD_DISABLED). This happened to work as we wanted to because
THREAD_DISABLED == 0 == false. But that's not really what I meant...

Anyway, this uses a proper ModelChecker::is_enabled(tid) interface.
model.cc diff | blob | history
C11 Tester Tool Public Repository