input-output-hk / input-output-hk/Lean-blaster
Z3 Defunc Processes
Open
- Dominant language
- Lean
- Stars
- 57
- Forks
- 11
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 10
Description
There are z3 processes left as defunc/zombies after using `#bmc` and `#kind` commands.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start with the code paths for the `#bmc` and `#kind` commands and reproduce the issue while observing the Z3 processes they create. Trace how those processes are cleaned up after each command; done means neither command leaves defunc or zombie Z3 processes behind.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100