Précision

Spécifier une précision d’analyse

Pour contrôler la précision de l'analyse, utilisez les options de précision.

Ces options sont destinées à être utilisées dans le cadre d'une vérification Code Prover, mais peuvent parfois être utiles pour une analyse Bug Finder.

Options Polyspace

Verification time limit (-timeout) Specify a time limit on your analysis