Visual Studio Code Plugin

The TICS Visual Studio Code Plugin integrates the TiCS Client in your IDE. The plugin allows you to invoke TiCS in a convenient way. Analysis results are nicely displayed in a corresponding pane.

Installation

There are three ways to install the Visual Studio Code plugin. Please follow one the guides, applicable to your situation, below:

Note: For the plugin to work on a Linux machine, Visual Studio Code needs to be started from the terminal where the TICS environment variable is set before.

Usage

The TICS commands are available from

The TICS buttons have the following meaning: