Cette page s'applique à la version précédente. La page correspondante en anglais a été supprimée de la version actuelle.

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