Skip to content

Commit

Permalink
fix: run doc autogen script after rebase
Browse files Browse the repository at this point in the history
  • Loading branch information
@0xteddybear
0xteddybear committed Sep 17, 2024
1 parent da25a61 commit 485620a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion packages/contracts-bedrock/invariant-docs/OptimismSuperchainERC20.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,6 @@


## many other assertion mode invariants are also defined under `test/invariants/OptimismSuperchainERC20/fuzz/` .
**Test:** [`OptimismSuperchainERC20#L79`](../test/invariants/OptimismSuperchainERC20#L79)
**Test:** [`OptimismSuperchainERC20#L80`](../test/invariants/OptimismSuperchainERC20#L80)

since setting`fail_on_revert=false` also ignores StdAssertion failures, this invariant explicitly asks the handler for assertion test failures

0 comments on commit 485620a

Please sign in to comment.