Main Content

Polyspace as You Code IDE Extension Settings

Full list of Polyspace as You Code IDE extension settings

In your IDE extension or plugin settings, you can specify the commonly required options such as results folder, checkers, and so on. See the full list of IDE extension settings here.

If you cannot find a setting in your IDE extension to tune the analysis, look for an analysis engine option and specify the option in an options file. Then, specify the options file in your IDE extension settings.