Configuración de la extensión del IDE de Polyspace as You Code
En la configuración de la extensión o del complemento del IDE, puede especificar las opciones que se suelen requerir, como la carpeta de resultados, los comprobadores, etc. Consulte la lista completa de configuraciones de extensiones del IDE aquí.
Si no puede encontrar una configuración en la extensión del IDE para ajustar el análisis, busque una opción del motor de análisis y especifique la opción en un archivo de opciones. Después, especifique el archivo de opciones en la configuración de la extensión del IDE.
Temas
- Configure Polyspace as You Code Extension in Visual Studio (Polyspace Access)
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- Configure Polyspace as You Code Extension in Visual Studio Code (Polyspace Access)
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- Configure Polyspace as You Code Plugin in Eclipse (Polyspace Access)
Set Polyspace as You Code plugin settings such as analysis launch mode and build configuration.
- Options Files for Polyspace Analysis
Collect all analysis options in a text file for easy sharing across projects.
