Skip to content

Commit 4bddfb8

Browse files
committed
io-sim-por: delete terminated threads
1 parent 606de33 commit 4bddfb8

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

io-sim/src/Control/Monad/IOSimPOR/Internal.hs

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -298,7 +298,10 @@ schedule thread@Thread{
298298
-- even if other threads are still running
299299
return $ SimPORTrace time tid tstep tlbl EventThreadFinished
300300
$ traceFinalRacesFound simstate
301-
$ TraceMainReturn time x (labelledThreads threads)
301+
$ TraceMainReturn time x ( labelledThreads
302+
. Map.filter (not . threadDone)
303+
$ threads
304+
)
302305

303306
ForkFrame -> do
304307
-- this thread is done

0 commit comments

Comments
 (0)