-
Notifications
You must be signed in to change notification settings - Fork 21
Closed
Labels
bugSomething isn't workingSomething isn't working
Description
Describe the bug
The ThreadStatus
tests fail on Windows but not on Linux and Mac. When we turn the tests
on in CI we get the following failures:
thread status died_own (IO): FAIL
*** Failed! Falsified (after 1 test):
ThreadFinished /= ThreadBlocked BlockedOnMVar
Use --quickcheck-replay=392463 to reproduce.
Use -p '/thread status died_own (IO)/' to rerun this test only.
thread status mask (IO): FAIL
*** Failed! Falsified (after 1 test):
ThreadFinished /= ThreadBlocked BlockedOnMVar
Use --quickcheck-replay=499493 to reproduce.
Use -p '/thread status mask (IO)/' to rerun this test only.
This is surprising because the first test doesn't even use MVar's
and the thread that has status ThreadBlocked
in the second test doesn't do any blocking operations!
To Reproduce
Turn on the tests mentioned above on windows.
Expected behaviour
We expect the tests to pass.
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't working