Two fixes in sched 1) Don't insert LID into state when a process blocks 2) When a process blocks during a replay, wait until it wakes up See #66, See #68
Two fixes in sched
1) Don't insert LID into state when a process blocks
2) When a process blocks during a replay, wait until it wakes up
See #66, See #68

aronisstav/Concuerror,iliastsi/Concuerror,parapluu/Concuerror,parapluu/Concuerror,aronisstav/Concuerror,mariachris/Concuerror,mariachris/Concuerror