sv-comp-witness-vscode

Integration of SV-Comp verification tools for C into VS Code for visualizing their combined verification witnesses.

Developing

Make sure the following are installed: JDK 17, mvn, npm, nodejs, @vscode/vsce.

To build this extension, run the commands:

mvn install
cd vscode
npm install
npm install -g vsce
vsce package

Installing

Install the extension into VS Code with code --install-extension sv-comp-verifiers-0.0.1.vsix.

Testing

1. Open the project in VS Code after installing the extension.
2. Open the file standard_strcpy_original-2.i in VS Code.
3. The combined invariants should be shown above lines 22, 26, and 31.