Azzera filtri
Azzera filtri

Boolean conditions in DRS of POlyspace code prover

2 visualizzazioni (ultimi 30 giorni)
i want to indiacate FALSE and TRUE for a constant/calibration in a Polyspace code prover's Data Range Specification... how to do it?
Thanks in Advance

Risposta accettata

Alexandre De Barros
Alexandre De Barros il 20 Set 2016
Hi,
the values TRUE and FALSE do not exist in the C language. They are probably defined to integer values in your application with some code like:
#define TRUE 1
#define FALSE 0
So you simply have to use the integer values in the DRS, instead of TRUE and FALSE.
Best regards,
Alexandre

Più risposte (0)

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by