La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Precisión

Especifique la precisión del análisis

Para controlar la precisión del análisis, utilice las opciones de precisión.

Estas opciones están destinadas a utilizarse en una verificación de Code Prover, pero a veces pueden resultar útiles para un análisis de Bug Finder.

Opciones de Polyspace

Límite de tiempo de verificación (-timeout)Specify a time limit on your analysis