You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This seems very similar to IntersectMBO/ouroboros-network#3999, but with the roles of model and SUT reversed (in this issue, the model iterator is exhausted).
Full logs: https://gist.github.com/amesgen/1ab4c3a13c446baa65a08f95d975362f
This seems very similar to IntersectMBO/ouroboros-network#3999, but with the roles of model and SUT reversed (in this issue, the model iterator is exhausted).
To reproduce
Check out fd484ae (on
main
) and applyThen run
cabal run storage-test -- -p 'ChainDB q-s-m' --quickcheck-replay=751541
The text was updated successfully, but these errors were encountered: