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