runtimeverification / runtimeverification/kontrol
Refactor the printing of failure information in kontrol show
Open
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
Different methods handle the post-processing and display of the proof information in show and prove. This could be refactored so both flows could use the same method.
Originally posted by @anvacaru in https://github.com/runtimeverification/kontrol/pull/1045#discussion_r2190439599
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by comparing the post-processing and proof-information display paths in kontrol show and kontrol prove. Identify the duplicated handling and verify that both flows use the shared method while preserving their existing failure output.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- cli
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100