Stop exploration as soon as a CEX is found, as per comment in #934 and as a follow-up to it
Open
- Dominant language
- Haskell
- Stars
- 358
- Forks
- 79
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 6
Description
This issue has no description.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reading issue #934 and the comment it references to recover the intended counterexample behavior, then locate hevm’s exploration entry point. Done means exploration stops as soon as a CEX is found; no file or test is named, so tracing the relevant subsystem and finding its tests will be necessary.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100