Polyspace R2016b and Qt
11 views (last 30 days)
Show older comments
hello
i have simple Qt C++ program and i want to do verification using polyspace code prover. but i have some errors when run on polyspace, is there any suggestion for the setting on polyspace?
fyi: i have already add the list of macros (_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++)
regards
Ridlo Tubagus S
5 Comments
Steven Lord
on 8 Sep 2017
Yeah, I should have thought of opening the image in a new tab. Thanks, Alexandre.
Answers (0)
See Also
Categories
Find more on Run Settings in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!