VS Code command to dump diagnostics into a JSON file #927
Description
Is your feature request related to a problem?
For the upcoming evaluation, we need a fast way to store the content of the open file and the diagnostics. This later allows us to determine the impact of the static checks.
Desired solution
Add a VS Code command for this.
Possible alternatives (optional)
No response
Screenshots (optional)
No response
Additional Context (optional)
No response
Metadata
Metadata
Assignees
Labels
Type
Projects
Status