Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.

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