Polyspace 2013:单元编译失败

2视图(30天)
Mohan Bm
Mohan Bm 2017年3月6日
我新Polyspace,我试图用它来我的项目。当我包括文件分析我得到一些错误,我不明白。1。单位没有编制2。C: \ \ Polyspace \ Src \ \项目数据来源\ adc。h包含在C: \ \ Polyspace \ Src \ \项目数据来源\ adc。c源文件列表中的Polyspace验证。在这种情况下宏扩展可以产生错误的结果。如果它发生,要么从列表中删除该文件的来源或删除该文件包含在C: \ Data \ \ Polyspace \ Src \ \ adc.c来源的项目
这将是很大的帮助,如果有人可以帮助。由于汉

答案(0)