Präzision

Angeben der Analysegenauigkeit

Um die Genauigkeit der Analyse zu steuern, verwenden Sie die Präzisionsoptionen.

Diese Optionen sind für die Verwendung in einer Code Prover-Verifikation gedacht, können aber manchmal auch für eine Bug Finder-Analyse nützlich sein.

Polyspace-Optionen

Zeitlimit für Verifikation (-timeout) Specify a time limit on your analysis