Precisione

Definizione della precisione dell'analisi

Per controllare la precisione dell'analisi, utilizzare le opzioni di precisione.

Queste opzioni sono destinate all'uso in una verifica con Code Prover, ma possono talvolta essere utili per un'analisi Bug Finder.

Opzioni Polyspace

Limite di tempo per la verifica (-timeout) Specify a time limit on your analysis