Echidna Fails to Break Invariants - Unstoppable #3
Description
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