Compound branching #269
Labels
debug-ext
Relating to the extension/webview aspect of Gillian's debugger
debugger
Relating to Gillian's debugger
enhancement
New feature or request
It'd be a neat idea if, in the debugging interface, "compound branches" i.e. multiple branches between two commands, could be split out and represented separately
i.e.:
Might implement this as part of Kanillian stuff.
The text was updated successfully, but these errors were encountered: