Skip to content

Skip UnexpectedRootClaim failures#13428

Merged
maurelian merged 6 commits intoupgrade-against-registryfrom
upgrade-against-registry-3
Dec 19, 2024
Merged

Skip UnexpectedRootClaim failures#13428
maurelian merged 6 commits intoupgrade-against-registryfrom
upgrade-against-registry-3

Conversation

@maurelian
Copy link
Copy Markdown
Contributor

@maurelian maurelian commented Dec 16, 2024

Five test suites are skipped on the forked upgrade test path.

They all fail with "UnexpectedRootClaim" errors, so assistance will be needed from the proofs team to ensure they are properly restored.

Copy link
Copy Markdown
Contributor Author

maurelian commented Dec 16, 2024

This stack of pull requests is managed by Graphite. Learn more about stacking.

@maurelian maurelian changed the title fix: PermissionedDisputeGame tests fix Dec 16, 2024
@maurelian maurelian changed the title fix Skip UnexpectedRootClaim failures Dec 16, 2024
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch from bd62b6a to 2e82e73 Compare December 16, 2024 21:09
@maurelian maurelian force-pushed the upgrade-against-registry-2 branch from 2fc1c27 to e7f9e26 Compare December 16, 2024 21:28
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch from 2e82e73 to 1504aac Compare December 16, 2024 21:49
@codecov
Copy link
Copy Markdown

codecov bot commented Dec 16, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.28%. Comparing base (c9203b0) to head (98c86a8).
Report is 7 commits behind head on upgrade-against-registry.

Additional details and impacted files
@@                      Coverage Diff                      @@
##           upgrade-against-registry   #13428       +/-   ##
=============================================================
+ Coverage                     47.29%   89.28%   +41.98%     
=============================================================
  Files                           943      111      -832     
  Lines                         78827     4758    -74069     
  Branches                        803      803               
=============================================================
- Hits                          37283     4248    -33035     
+ Misses                        38792      468    -38324     
+ Partials                       2752       42     -2710     
Flag Coverage Δ
cannon-go-tests-32 ?
cannon-go-tests-64 ?
contracts-bedrock-tests 89.28% <ø> (-0.07%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

see 835 files with indirect coverage changes

@maurelian maurelian force-pushed the upgrade-against-registry-3 branch from 1504aac to fc736cb Compare December 16, 2024 22:18
@maurelian maurelian marked this pull request as ready for review December 16, 2024 22:20
@maurelian maurelian requested a review from a team as a code owner December 16, 2024 22:20
@maurelian maurelian requested review from clabby and removed request for a team December 16, 2024 22:20
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch from fc736cb to c1af87e Compare December 16, 2024 22:27
@maurelian maurelian requested a review from mds1 December 17, 2024 15:55
@maurelian maurelian force-pushed the upgrade-against-registry-2 branch from cd768cc to 7f385c7 Compare December 17, 2024 17:31
@maurelian maurelian requested review from a team as code owners December 17, 2024 17:31
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch from c1af87e to 18385d9 Compare December 17, 2024 17:31
@maurelian maurelian force-pushed the upgrade-against-registry-2 branch from 7f385c7 to 8c92a44 Compare December 17, 2024 17:33
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch 2 times, most recently from 844c214 to 8640791 Compare December 17, 2024 17:45
@maurelian maurelian force-pushed the upgrade-against-registry-2 branch from ba9e494 to 0ef55aa Compare December 17, 2024 18:22
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch from b8b8716 to 6833928 Compare December 17, 2024 18:22
@maurelian maurelian force-pushed the upgrade-against-registry-2 branch from 0ef55aa to f7cef5c Compare December 17, 2024 18:56
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch from 6833928 to ea868f3 Compare December 17, 2024 18:56
@Inphi
Copy link
Copy Markdown
Contributor

Inphi commented Dec 17, 2024

These tests are failing likely at least because the dispute game tests assume the AnchorStateRegistry is empty, so they create games that claim a low L2 block number.

There's this check in the FDG that asserts the most recent L2 block number anchor precedes the L2 block number that's claimed by dispute games -

if (l2BlockNumber() <= rootBlockNumber) revert UnexpectedRootClaim(rootClaim());
.

I gather that the upgrade script loads live contracts from the superchain-registry. So the anchored block number read from the op-mainnet AnchorStateRegistry at the fork block state will be much higher than the L2 block number used to create dispute games in the test. Hence the revert on L304.

We can fix this problem by tweaking the tests to use inspect the AnchorStateRegistry to determine the L2 block numbers to use for game creation.

@maurelian
Copy link
Copy Markdown
Contributor Author

@Inphi that's helpful thank you!

Unfortunately, while it does help me get past that error in setUp(), it reveals a much wider range of issues that will need to be debugged. For now I think it's best to stick to the plan to revisit these tests in #13411

@maurelian maurelian force-pushed the upgrade-against-registry-2 branch from f7cef5c to 27b9737 Compare December 18, 2024 21:27
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch from ea868f3 to ad1a595 Compare December 18, 2024 21:27
@maurelian maurelian force-pushed the upgrade-against-registry-2 branch from 27b9737 to 7da8414 Compare December 18, 2024 21:42
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch from ad1a595 to 1c39e98 Compare December 18, 2024 21:42
@maurelian maurelian force-pushed the upgrade-against-registry-2 branch from 7da8414 to 13330c3 Compare December 19, 2024 01:51
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch 2 times, most recently from 9b2f621 to 80887d9 Compare December 19, 2024 01:55
Base automatically changed from upgrade-against-registry-2 to upgrade-against-registry December 19, 2024 02:16
@maurelian maurelian force-pushed the upgrade-against-registry-3 branch from 80887d9 to 9f44651 Compare December 19, 2024 03:17
@maurelian maurelian merged commit 27263ed into upgrade-against-registry Dec 19, 2024
@maurelian maurelian deleted the upgrade-against-registry-3 branch December 19, 2024 03:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants