Improve help messages for show-kcfg
and view-kcfg
#2157
Labels
documentation
Improvements or additions to documentation
show-kcfg
and view-kcfg
#2157
Help messages for
view-kcfg
andshow-kcfg
are confusing currently.view-kcfg
:Display tree view of CFG
show-kcfg
:Display tree show of CFG
(source)Some suggestions:
view-kcfg
:Explore a given proof in the KCFG visualiser
show-kcfg
:Print the CFG for a given proof
The text was updated successfully, but these errors were encountered: