projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b59d5f8) | patch
schedule: bugfix - fix typo in wake
authorBrian Norris <banorris@uci.edu>
Tue, 9 Oct 2012 01:42:22 +0000 (18:42 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 9 Oct 2012 01:43:30 +0000 (18:43 -0700)
commita7f4b420cb8b12813d3feed76cf6af72b9803697
treea0e5d1375ed004d447bb8ee4eca55a3fc9193613tree | snapshot
parentb59d5f84ac4800cc144fc7c8837d96181423d9aecommit | diff
schedule: bugfix - fix typo in wake

The Thread should be re-enabled, not disabled, when waking up.
schedule.cc diff | blob | history
C++11 memory model checker