Describe the issue:
In certain cases, Echidna can get stuck while shrinking.
Example below:
When setting maxBlockDelay and maxTimeDelay to 1, it is easily shrunk further:
After further research I was able to determine that timestamps/blocks actually don't play a role in the breaking of this invariant at all. So it should have been able to shrink it further.
Code example to reproduce the issue:
The code is private, I can share the repo if you DM me on Slack
Version:
Echidna 2.2.3 (custom build from master)
Relevant log output:
No response
Describe the issue:
In certain cases, Echidna can get stuck while shrinking.
Example below:
When setting
maxBlockDelayandmaxTimeDelayto1, it is easily shrunk further:After further research I was able to determine that timestamps/blocks actually don't play a role in the breaking of this invariant at all. So it should have been able to shrink it further.
Code example to reproduce the issue:
The code is private, I can share the repo if you DM me on Slack
Version:
Echidna 2.2.3 (custom build from
master)Relevant log output:
No response