Diese Seite ist für die vorige Version. Die entsprechende englische Seite wurde in der aktuellen Version entfernt.

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