Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Model tests choke on too early fanout after rollbacks #1528

Open
ch1bo opened this issue Jul 23, 2024 · 0 comments
Open

Model tests choke on too early fanout after rollbacks #1528

ch1bo opened this issue Jul 23, 2024 · 0 comments
Labels

Comments

@ch1bo
Copy link
Collaborator

ch1bo commented Jul 23, 2024

The ModelSpec has RollbackAndForward actions.

This will have the simulated MockChain emit RollBackward and RollForward interactions through the chain layer such that the HydraNode sees time to revert and advance again.

This affects ReadyToFanout indications given through the API.

The ModelSpec uses the sent serverOutputs to waitForReadyToFanout. However, if we see a rollback and forward, the chain is might not be at the recent enough point anymore and submitting a fanoutTx results in LowerBoundBeforeContestationDeadline on-chain verification errors.

Reproduction: Example commit a70a781 with seed 823537679

@ch1bo ch1bo added the red bin label Jul 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant