Questions tagged [invariant-test]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers
49 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
0 votes
1 answer
34 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
1 vote
0 answers
74 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
2 votes
1 answer
314 views

Foundry invariant tests: targetArtifact not seemed to be working

I'm working on a project that is deployed behind a proxy, and looking to do invariant tests with it in foundry. My setup in my invariant test looks as such: function setUp() public { ...
Patrick Collins's user avatar
5 votes
1 answer
891 views

What's the difference between invariant and fuzz testing?

echidna is a popular property-based fuzz tester, and Foundry comes packed with invariant tests. What is the difference between them?
Patrick Collins's user avatar