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

Write invariant tests #158

Open

PaulRBerg opened this issue Jan 26, 2023 · 4 comments

Labels

effort: high priority: 1 type: test work: complicated

Owner

PaulRBerg commented Jan 26, 2023

See Trail of Bits' Learn how to fuzz like a pro: Fuzzing Arithmetics workshop, minute 34:00:

PaulRBerg added testing labels

Owner Author

PaulRBerg commented Feb 3, 2023

Also minute 1:47:40:

PaulRBerg mentioned this issue

Split tests by categories #160

Closed

Owner Author

PaulRBerg commented Mar 1, 2023

The recently added assertEqCall might be useful for this:

foundry-rs/forge-std#311

Owner Author

PaulRBerg commented Jul 6, 2023

Trail of Bits wrote some invariant tests for PRBMath using Echidna:

crytic/properties#30

PaulRBerg changed the title ~~Test mathematical invariants~~ Write invariant tests

Owner Author

PaulRBerg commented Aug 5, 2023

Also related: Reusable properties for Ethereum contracts.

PaulRBerg added effort: high priority: 1 work: complicated type: test and removed priority2 labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment