search

input-output-hk / io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).
https://hackage.haskell.org/package/io-sim
Apache License 2.0
37 stars 15 forks source link

ThreadStatus tests fails on windows #28

Closed MaximilianAlgehed closed 1 year ago

MaximilianAlgehed commented 2 years ago

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.