kore-repl: debug-equation dynamically #1956
Description
The user should be able to use the --debug-equation option dynamically in kore-repl.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
The user should be able to use the --debug-equation option dynamically in kore-repl.