Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.
Ejecutar Polyspace as You Code en IDE o editores sin complementos
Configure el plugin de Polyspace® as You Code para ejecuciones de línea de comandos y actívelas desde IDE y editores no compatibles
Puede ejecutar Polyspace as You Code directamente en un terminal de su sistema operativo. Si puede activar ejecuciones de línea de comandos y ver la salida de la consola dentro de su IDE o editor, puede utilizar Polyspace as You Code en IDE o editores que no son compartibles directamente mediante plugins o extensiones.
Comandos del sistema
polyspace-bug-finder-access (Polyspace Access) | (Not recommended) Run Polyspace as You Code from Windows, Linux, or other command line |
polyspace-comments-import | (System Command) Import review information from previous Polyspace analysis |
polyspace-configure | (System Command) Create Polyspace Platform project, workspace, or options file from build command or compilation database |
polyspace-results-export | (System Command) Export Polyspace results to external formats such as CSV or JSON |
Temas
Uso
- Manage Polyspace Access Results and Users at the Command Line (Polyspace Access)
Manage Polyspace Access™ results and users at the command line.
