Skip to main content

Questions tagged [invariant-test]

The tag has no usage guidance.

3 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2 votes
0 answers
60 views

How to Statefully Fuzz in Foundry without Invariants?

I want to Statefully (not Statelessly) Fuzz my Protocol. However, I don't have any Invariants to check. I just want to call all of my Protocol's functions, and see if anything breaks. This is my ...
António Gonçalves's user avatar
1 vote
0 answers
77 views

Invariant Testing: Bounding an input parameter to the output of contract-specific functions

Foundry’s invariant testing allow us to declare a set of truths that should always hold no matter which action or sequence of action is performed. We declare these truths and then Foundry sets the ...
user10110100's user avatar
0 votes
1 answer
55 views

invariant tests not fuzzing using foundry

I am writing invariant tests using a handler contract in foundry. However, for some reason, the handler contract is not fuzzing (I know because when I run forge test --mt assertSomething It doesn't ...
IBeFrogs's user avatar