projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2e1861) | patch
schedule: bugfix - set 'current' thread in all cases
authorBrian Norris <banorris@uci.edu>
Mon, 23 Apr 2012 22:40:42 +0000 (15:40 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 23 Apr 2012 22:54:55 +0000 (15:54 -0700)
commit6357baf85edec072a52c7ea18e9fdb087765f9cb
treeefce14d505b8e2f32191ae9b6efa47d7ff16c0ebtree | snapshot
parentb2e1861247c00af280dafdfd79e855f0011dee2dcommit | diff
schedule: bugfix - set 'current' thread in all cases

When the scheduler was following a model-checking replay execution, it did not
set the 'current' thread properly.
schedule.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.