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.

Sign up for GitHub

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

Jump to bottom

Add the ability to print a subtree in KCFG #851

Open
palinatolmach opened this issue Oct 7, 2024 · 2 comments
Open

Add the ability to print a subtree in KCFG #851

palinatolmach opened this issue Oct 7, 2024 · 2 comments
Labels
enhancement New feature or request

Comments

@palinatolmach
Copy link
Collaborator

As suggested by @lisandrasilva, it'd be easier to debug proofs if kontrol show allowed printing a subset of nodes between two different nodes.
@palinatolmach palinatolmach self-assigned this Oct 7, 2024
@palinatolmach palinatolmach added the enhancement New feature or request label Oct 7, 2024
@ehildenb
Copy link
Member

ehildenb commented Oct 7, 2024

We could add kontrol show --focus ... which you give a node-id, and it will print the path from th eroot to that node only. We could also have the f keystroke (for "focus") in the kontrol view ... hide the other paths and only display that one.

We could also add teh z keystroke to the kontrol view ... to make the behavior view atke the whole screen, instead of the left half.

@lisandrasilva
Copy link
Contributor

Both would have been super useful in the Term engagement, where we had pretty big kcfgs.

@palinatolmach palinatolmach removed their assignment Nov 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@palinatolmach @ehildenb @lisandrasilva