Invariant test.

[GHexxerBrdv]

Hey after a long time i just decided to learn invariant testing again and i have just try to write poc for Ethernaut challenge named dex. in which we have to drain one of the token from the pool completely.

There is a way to do it. but when i try to break it will random function call like @PatrickAlphaC taught in tutorials it is not failing. in short it is not working and unable to find a path so that the pool can be drain.

Then i have such a confusion that in which type of invariant we should develop the invariant test?

[EngrPips]

What do you mean by in which type of invariant we should develop the invariant test?

[GHexxerBrdv]

i mean that we should not use invariant test every time. we have to figure out the invariant and then try to break it. so can you suggest which type of invariant can be possible.

[EngrPips]

Invariants can always be used, but they don't replace manual review, which you should also use.