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

Fix IOSimPOR test failure #159

Closed bolt12 closed 5 months ago

bolt12 commented 5 months ago

we were missing updating the non-dependencies in the case where the thread is not concurrent. The thread is not concurrent so it makes sense to not discover any races but it still make sense to discover any non-dependencies to make sure we don't forget to include them as per our counterexample in #154 .

coot commented 5 months ago

This will close #154, isn't it? (I added it to Development section).

bolt12 commented 5 months ago

Thank you @coot ! Yes you are right