diff options
| author | Gabriel Kerneis | 2014-06-09 15:02:13 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-09 15:02:13 +0100 |
| commit | 9205142009c2ba2adda38626c92bc71f5d444a97 (patch) | |
| tree | 4fc84ccbffbb46a5699151370a77cf97752c60ef /src/finite_map.ml | |
| parent | 3fb0cd60627d19ba49dc789afe94ea135fc13d35 (diff) | |
Add "continuation" command in interpreter
This displays the full continuation of the current breakpoint,
which is basically the closest that we have from the "context"
requested by Peter. Especially using it after the "execute" breakpoint
shows the code of the instruction to be executed.
Diffstat (limited to 'src/finite_map.ml')
0 files changed, 0 insertions, 0 deletions