Optimization mode: Shrink current best sequence when closing Echidna #839
Description
Currently you have to finish the run (testLimit). I normally have this set to a huge number and always close Echidna manually.
{{ message }}
Currently you have to finish the run (testLimit). I normally have this set to a huge number and always close Echidna manually.