你好,
Polyspace最简单的方法忽略这个额外的关键字是定义一个宏:
__了=
你通常把它作为一个宏观Polyspace项目,区别与一般的宏,这个用等号(=)结束。通过这样做,Polyspace预处理器将取代关键字
_
_packed,什么都没有。因此,关键字将实际上忽略了代码验证。
问候,
亚历克斯
