Questions tagged [invariant-test]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
2 answers
360 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 { ...
2 votes
0 answers
59 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 ...
0 votes
1 answer
52 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 ...
1 vote
0 answers
76 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 ...
5 votes
1 answer
962 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?