Comprobar comportamiento
Modifique el comportamiento predeterminado de las comprobaciones en tiempo de ejecución
Para modificar el comportamiento predeterminado de un comprobador de defectos, utilice las opciones de comportamiento de comprobación. Por ejemplo, de forma predeterminada, el análisis no tiene en cuenta los flotantes no finitos. Si ve comparaciones con infinitos y NaN señalados como código muerto, cambie la suposición predeterminada.
Opciones de Polyspace
Considere flotantes no finitos (-allow-non-finite-floats) | Enable an analysis mode that incorporates infinities and NaNs |
