Fix issue #76 - Githubissues

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

Closed bolt12 closed 1 year ago

bolt12 commented 1 year ago

Ignore effectStatusWrites in order to not generate bad schedules that lead to assertion failures.

Also fix issue introduced in 669d6b23c41d22f503916b7a924a11c39b442347 where the onlyReadEffect is not checking for effectStatusRead effects.

Check #76 for more details

coot commented 1 year ago

Closing in favour of removal of threadStatus: pr #87.