Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Think about testing for debugger and/or webview #177

Closed
NatKarmios opened this issue Nov 17, 2022 · 0 comments · Fixed by #333
Closed

Think about testing for debugger and/or webview #177

NatKarmios opened this issue Nov 17, 2022 · 0 comments · Fixed by #333
Assignees
Labels
admin debug-ext Relating to the extension/webview aspect of Gillian's debugger debugger Relating to Gillian's debugger

Comments

@NatKarmios
Copy link
Contributor

Integration tests (e.g. cypress) may be possible, though we'd have be able to render the webview independently of VSCode functionality (or make all that functionality mockable).

Should the debugger be tested internally (i.e. within OCaml) or externally (i.e. with an external tool running the debugger)? Does this external tool exist?

@NatKarmios NatKarmios added debugger Relating to Gillian's debugger admin labels Nov 17, 2022
@NatKarmios NatKarmios self-assigned this Nov 17, 2022
@NatKarmios NatKarmios added this to the Tech debt catchup 2022/23 milestone Nov 17, 2022
@NatKarmios NatKarmios added the debug-ext Relating to the extension/webview aspect of Gillian's debugger label Nov 28, 2022
@NatKarmios NatKarmios linked a pull request Feb 6, 2025 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
admin debug-ext Relating to the extension/webview aspect of Gillian's debugger debugger Relating to Gillian's debugger
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant