runtimeverification / runtimeverification/kontrol
KaaS: add the option to run `kontrol show` for all available proofs
Open
Nobody has claimed this yet.
kaas
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
For KaaS, we seem to need a way to dump KCFGs for all available proofs to a file. We can probably:
- add an option such as
--allto print all KCFGs - add another option instructing to save each KCFG to a separate txt file
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 at the kontrol show CLI entry point and inspect how it currently selects and writes KCFGs for proofs. Define the --all behavior and the option for separate text files, then verify that every available proof is emitted to the requested output files.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- cli
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100