你好,萨提亚,
它看起来像错误出现在一个宏。宏观_CONFIG(或一个宏用于)不是前面定义?如果它被定义,出于某种原因,Polyspace不能访问定义。
但是你的具体情况,请联系MathWorks技术支持。万博1manbetx在这里看到的:
//www.tianjin-qmedu.com/help/codeprover/ug/obtain-configuration-information.html