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.

Sign up for GitHub

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

Jump to bottom

evm: add fuzz tests #239

Merged
merged 18 commits into from
Mar 15, 2024
Merged

evm: add fuzz tests #239

merged 18 commits into from
Mar 15, 2024
+569 −28

Conversation

RahulMaganti47
Copy link
Contributor

@RahulMaganti47 RahulMaganti47 commented Feb 29, 2024 •
edited
Loading

Fixes #174.

@RahulMaganti47 RahulMaganti47 force-pushed the fuzz-tests branch 2 times, most recently from c0484e4 to 5b765fc Compare March 1, 2024 17:36
@RahulMaganti47 RahulMaganti47 requested a review from gator-boi March 1, 2024 17:36
@RahulMaganti47 RahulMaganti47 changed the title add fuzz tests feat: add fuzz tests Mar 1, 2024
@RahulMaganti47 RahulMaganti47 force-pushed the fuzz-tests branch 2 times, most recently from f3ef242 to 2569ca7 Compare March 1, 2024 17:38
@RahulMaganti47 RahulMaganti47 marked this pull request as ready for review March 1, 2024 17:38
@RahulMaganti47 RahulMaganti47 requested a review from djb15 March 1, 2024 20:00
djb15
djb15 reviewed Mar 1, 2024
View reviewed changes
@RahulMaganti47 RahulMaganti47 requested a review from djb15 March 5, 2024 14:49
gator-boi
gator-boi reviewed Mar 5, 2024
View reviewed changes
@kcsongor kcsongor changed the title feat: add fuzz tests evm: add fuzz tests Mar 6, 2024
@RahulMaganti47 RahulMaganti47 force-pushed the fuzz-tests branch 2 times, most recently from df58b00 to 92e9f3b Compare March 12, 2024 19:56
@johnsaigle
Copy link
Collaborator

I wrote fuzz tests for Trimmed Amount here: https://github.com/wormhole-foundation/example-native-token-transfers/pull/269/files#diff-a7a75ec27a39e2e8f3e35eb187347d1adc9eaece37a5abacd6cb2113551a88f6

It would be great if we could keep enforce the same invariants on both sides

@RahulMaganti47
Copy link
Contributor Author

I wrote fuzz tests for Trimmed Amount here: https://github.com/wormhole-foundation/example-native-token-transfers/pull/269/files#diff-a7a75ec27a39e2e8f3e35eb187347d1adc9eaece37a5abacd6cb2113551a88f6

It would be great if we could keep enforce the same invariants on both sides

sure - i've updated the existing invariant tests and added in a few more

Rahul Maganti added 9 commits March 15, 2024 11:17
rate_limit: add fuzz test for outbound transfers
783e741
trimmed_amounts: add fuzz tests for left inverse and saturating add
23db655
trimmed_amount: add more fuzz tests
42fe1a4
ntt_manager: add fuzz test for countSetBits
2c96268
rate_limit: add fuzz test for inbound rate limiting
7151aa4
rate_limit: add fuzz test for backflow

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode
4e1ff5f
fix: use bound instead of assume for uints

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode
ff58420
evm: remove unnecessary bounds in fuzz test for saturatingAdd

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode
23320d1
evm: change the inputs to the circular backflow tests to uint256

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode
c00fa66
gator-boi
gator-boi reviewed Mar 15, 2024
View reviewed changes
gator-boi
gator-boi previously approved these changes Mar 15, 2024
View reviewed changes
gator-boi
gator-boi previously approved these changes Mar 15, 2024
View reviewed changes
evm: use bound instead of assume
Loading
Loading status checks…
03759b1
mdulin2
mdulin2 approved these changes Mar 15, 2024
View reviewed changes
@RahulMaganti47 RahulMaganti47 merged commit 87bf873 into main Mar 15, 2024
4 checks passed
@RahulMaganti47 RahulMaganti47 deleted the fuzz-tests branch March 15, 2024 20:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mdulin2 mdulin2

@gator-boi gator-boi

@djb15 djb15

@johnsaigle johnsaigle

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

add fuzz tests
5 participants
@RahulMaganti47 @johnsaigle @djb15 @mdulin2 @gator-boi