solidity-fuzzing-comparison icon indicating copy to clipboard operation
solidity-fuzzing-comparison copied to clipboard

Published 20 hours ago • verified publisher icon devdacian

Echidna Fails to Break Invariants - Unstoppable

Open TEMSSAH opened this issue 4 months ago • 0 comments

I'm encountering an issue where running Echidna with the configuration specified in the "UnstoppableBasicEchidna.yaml" + Setup and invariants : "UnstoppableBasicEchidna.t.sol" does not break the invariants as expected. (even after significantly increasing the testLimit to 10m) command : echidna --config test/02-unstoppable/UnstoppableBasicEchidna.yaml ./ --contract UnstoppableBasicEchidna MySetup : Apple M2 - Mac OS 15.6 Beta / brew pre built installation Question : Is this behavior specific to my setup, or is it my mistake / known issue? @devdacian

TEMSSAH avatar Jul 22 '25 01:07 TEMSSAH