feat(invariant): exclude precompiles from senders #8367

grandizzy · 2024-07-05T10:16:04Z

Motivation

Closes #4287
Closes #7530

extract precompiles addresses into own module
extend list of excluded senders with precompiles (feat(forge): exclude precompiles by default in invariant tests #4287)
add labels to display along traces when precompile is not decoded (Automatically label known contract addresses in traces #7530) + test

mattsse

nice

grandizzy mentioned this pull request Jul 5, 2024

feat(forge): add labels for precompile addresses #7544

Closed

grandizzy changed the title ~~fix(invariant): exclude precompiles from senders~~ feat(invariant): exclude precompiles from senders Jul 5, 2024

fix(invariant): exclude precompiles from senders

95a17b8

grandizzy force-pushed the issue-4287 branch from 8764b22 to 95a17b8 Compare July 5, 2024 10:56

More robust shrink test, use same test contract / bytecode

047ffae

grandizzy force-pushed the issue-4287 branch from fa30077 to 047ffae Compare July 5, 2024 11:28

grandizzy marked this pull request as ready for review July 5, 2024 11:45

grandizzy requested review from DaniPopes, Evalir and mattsse as code owners July 5, 2024 11:45

Merge remote-tracking branch 'origin' into issue-4287

ca7d7c2

mattsse approved these changes Jul 8, 2024

View reviewed changes

grandizzy merged commit 2ba3400 into foundry-rs:master Jul 9, 2024
20 checks passed

grandizzy deleted the issue-4287 branch July 9, 2024 04:42