We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 163443f commit b82857dCopy full SHA for b82857d
io-sim/src/Control/Monad/IOSimPOR/Internal.hs
@@ -734,11 +734,6 @@ reschedule :: SimState s a -> ST s (SimTrace a)
734
reschedule simstate@SimState{ runqueue, threads,
735
control=control@(ControlFollow ((tid,tstep):_) _)
736
} =
737
- if not (tid `elem` runqueue) then
738
- error ("Can't follow "++show control++"\n"++
739
- " tid: "++show tid++"\n"++
740
- " tstep: "++show tstep++"\n"++
741
- " runqueue: "++show runqueue++"\n") else
742
assert (tid `elem` runqueue) $
743
assert (tid `Map.member` threads) $
744
assert (invariant Nothing simstate) $
0 commit comments