Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Bug-Candidate]: Echidna can get stuck while shrinking #1224

Open
rappie opened this issue Mar 20, 2024 · 4 comments
Open

[Bug-Candidate]: Echidna can get stuck while shrinking #1224

rappie opened this issue Mar 20, 2024 · 4 comments

Comments

@rappie
Copy link

rappie commented Mar 20, 2024

Describe the issue:

In certain cases, Echidna can get stuck while shrinking.

Example below:
image

When setting maxBlockDelay and maxTimeDelay to 1, it is easily shrunk further:
image

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

@ggrieco-tob
Copy link
Member

I think we need to be more aggressive reducing the block numbers? In this case, this required at least a block each operation?

@rappie
Copy link
Author

rappie commented Mar 20, 2024

No, there are no block/timestamp increments necessary at all to break this invariant.

Besides block/timestamp shrinking being slow or getting stuck, there are also uneccesary transactions that don't get shrunk away. It seems to me that there is some deeper issue going on.

@ggrieco-tob
Copy link
Member

@rappie can you please re-test the shrinking using the latest master?

@rappie
Copy link
Author

rappie commented Jul 5, 2024

Still the same issue 😞

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants