From 70703236dd21c6f1dfeb6e3df7723ee2046d7eec Mon Sep 17 00:00:00 2001 From: Andrea Vezzosi Date: Mon, 4 Nov 2024 16:45:47 +0100 Subject: [PATCH] remove assert about PSQ.toList runqueue order. --- io-sim/src/Control/Monad/IOSimPOR/Internal.hs | 3 --- 1 file changed, 3 deletions(-) diff --git a/io-sim/src/Control/Monad/IOSimPOR/Internal.hs b/io-sim/src/Control/Monad/IOSimPOR/Internal.hs index 8c83331e..888ef1c8 100644 --- a/io-sim/src/Control/Monad/IOSimPOR/Internal.hs +++ b/io-sim/src/Control/Monad/IOSimPOR/Internal.hs @@ -247,9 +247,6 @@ invariant Nothing SimState{runqueue,threads,clocks} = assert (PSQ.fold' (\(Down tid) _ _ a -> tid `Map.member` threads && a) True runqueue) . assert (and [ (isThreadBlocked t || isThreadDone t) == not (Down (threadId t) `PSQ.member` runqueue) | t <- Map.elems threads ]) - . assert (and (zipWith (\(Down tid, _, _) (Down tid', _, _) -> tid > tid') - (PSQ.toList runqueue) - (drop 1 (PSQ.toList runqueue)))) . assert (and [ threadClockId t `Map.member` clocks | t <- Map.elems threads ])