Boolean conditions in DRS of POlyspace code prover

3 次查看（过去 30 天）
Shaku kaa
Shaku kaa 2016-9-19
回答： Alexandre De Barros 2016-9-20
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

请先登录，再回答此问题。

采纳的回答

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

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Options at Command Line Only 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by