 | VCCLinterInstallation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
VCCLinter is an extension that allows you to use the Verified C Compiler (VCC) to verify your C/C++ code through VS Code. The errors that VCC finds are marked in the editor and the whole communication with VCC is logged in an output channel called VCC. RequirementsCheck VCCs requirements here: https://vcc.codeplex.com/wikipage?title=Install&referringTitle=Home |