diff options
Diffstat (limited to 'src/lem_interp/run_interp.ml')
| -rw-r--r-- | src/lem_interp/run_interp.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml index 16ec976a..38336b4d 100644 --- a/src/lem_interp/run_interp.ml +++ b/src/lem_interp/run_interp.ml @@ -264,6 +264,7 @@ let run next go to next break point [default] run complete current execution, stack print call stack + cont print continuation of the top stack frame env print content of environment mem print content of memory quit exit interpreter" in @@ -281,6 +282,10 @@ let run | "s" | "stack" -> List.iter print_exp (compact_stack stack); interact env stack + | "c" | "cont" | "continuation" -> + (* print not-compacted continuation *) + print_exp (top_frame_exp stack); + interact env stack | "show_casts" -> Pretty_interp.ignore_casts := false; interact env stack |