Boolean conditions in DRS of POlyspace code prover
2 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
Shaku kaa
il 19 Set 2016
Risposto: Alexandre De Barros
il 20 Set 2016
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
0 Commenti
Risposta accettata
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
0 Commenti
Più risposte (0)
Vedere anche
Categorie
Scopri di più su Options at Command Line Only in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!