Skip to content
This repository has been archived by the owner on Oct 28, 2022. It is now read-only.

Printing of Scilla values from gdb #43

Open
vaivaswatha opened this issue Jul 6, 2020 · 0 comments · May be fixed by #94
Open

Printing of Scilla values from gdb #43

vaivaswatha opened this issue Jul 6, 2020 · 0 comments · May be fixed by #94

Comments

@vaivaswatha
Copy link
Contributor

This will require conveying what variables are "available" to the debugger (locals / globals). After that, JSON printing functions in SRTL can be called on the values to print them.

Depends on #42

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant