io-sim

io-sim copied to clipboard

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

See the full log.

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.

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?

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

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

Please re-open if this is still an issue.