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

Failed assertion when running ThreadNet tests, using v0.4 #94

Open dnadales opened 1 year ago

dnadales commented 1 year ago

ouroboros-consensus tests fail when enabling assertion, using version 0.4. The following assertion is triggered.

See the full log.

coot commented 1 year ago

Could you attach simulation trace?

You'd need to use traverse_ print (Data.List.Trace.toList trace) to print it as ppTrace_ will evaluate it and throw an exception before returning a string.

dnadales commented 1 year ago

As this is not blocking any other work, I'd say we have to check if this is still an issue in the latest version. What do you think?

coot commented 1 year ago

sure, if you cannot reproduce it with the same salt then it's fixed. Is this test using threadDelay or timeout?

dnadales commented 1 year ago

I don't know. I'd have to check :)