Polyspace R2016B和QT
6次观看(最近30天)
显示较旧的评论
你好
我有简单的QT C ++程序,我想使用polyspace代码供体进行验证。但是,在Polyspace上运行时,我有一些错误,是否有关于在Polyspace上设置的建议?
仅供参考:我已经添加了宏的列表
(_
REENTRANT QT_NO_DEBUG QT_GUI_LIB QT_CORE_LIB QT_SHARED) and include Qt's library folder to polyspace (..\5.7\mingw53_32\include, ..\5.7\mingw53_32\QtCore, ..\5.7\mingw53_32\include, ..\5.7\mkspecs\linux-G ++)
问候
Ridlo Tubagus s