Impostazioni avanzate

Comandi post-analisi, script, opzioni non ufficiali

Per specificare comandi o script che possono essere eseguiti dopo la verifica, oppure per specificare opzioni disponibili solo dalla riga di comando nell'interfaccia utente di Polyspace®, utilizzare le opzioni avanzate.

Opzioni Polyspace

espandi tutto

Comando/script da applicare al termine della verifica del codice (-post-analysis-command)Specify command or script to be executed after analysis
AltroSpecify additional command-line flags for static analysis

Argomenti