Boolean conditions in DRS of POlyspace code prover

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

Answer 1

[Alexandre De Barros]

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