La traduction de cette page n'est pas à jour. Cliquez ici pour voir la dernière version en anglais.

Vérifier le comportement

Modifier le comportement par défaut des contrôles run-time

Pour modifier le comportement par défaut d'un contrôleur de défauts, utilisez les options de comportement de contrôle. Par exemple, par défaut, l'analyse ne prend pas en compte les nombres à virgule flottante non finis. Si vous voyez des comparaisons avec des éléments infinis et des NaN-s signalés comme du code mort, modifiez l'hypothèse par défaut.

Options Polyspace

Consider non finite floats (-allow-non-finite-floats)Enable an analysis mode that incorporates infinities and NaNs