This plugin allows you to run TiCS commands inside your visual studio code window.
This version of the plugin is compatible with Visual Studio Code versions 1.75.0 and up.
Features
Run TiCS analysis on current file.
Run TiCS analysis on workspace.
Cancel current running analysis.
Configure TiCS.
Requirements
Make sure you have TiCS installed on your machine.
Make sure you have set TiCS environment variable
Make sure you have added path to TiCS binaries to your system PATH variable.
TiCS Build Server location
TiCS Client location
Usage
To access the commands, use CTRL+Shift+P to open the vscode command palette
Start typing "TiCS" in the command palette box. You will see all available commands in the suggestion.
Note
For the plugin to work on a Linux machine, Visual Studio Code needs to be started from the terminal.
