Polyspace R2016b and Qt

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

[Steven Lord]

I don't know about anyone else, but I can't read the messages in that small screen shot and Windows Magnifier doesn't help. Please attach the image to this question so that we can view it full size, copy and paste the "Detail" message(s) into a comment on this question, or send this information to Technical Support.

[Ridlo Tubagus sholeh]

hello steven

here the list of errors and for the detail image you can see on the attach file above

• Error: #error directive: "Qt has not been ported to this OS - see http://www.qt-project.org/" # error "Qt has not been ported to this OS - see http://www.qt-project.org/" ^
• Error: #error directive: "Unable to determine byte order!" # error "Unable to determine byte order!" ^
• Error: #error directive: "Qt requires C++11 support" # error "Qt requires C++11 support" ^
• Error: #error directive: "Qt has not been ported to this OS - see http://www.qt-project.org/" # error "Qt has not been ported to this OS - see http://www.qt-project.org/" ^
• Error: #error directive: "Unable to determine byte order!" # error "Unable to determine byte order!" ^
• Error: #error directive: "Qt requires C++11 support" # error "Qt requires C++11 support" ^
• Error: Verifier has detected preprocessing error(s) in the code
• Error: Exiting because of previous error

Note : Qt 5.7.0 (MSVC 2013, 32 bit)

regards

Ridlo Tubagus S

[Alexandre De Barros]

Hello,

This problem is now handled by the support. The answer should arrive soon. The idea is to use polyspace-configure to have the project automatically created.

Steven, if you want to see the picture full-size, right-click it and choose "open image in a new tab".

Best regards,

Alexandre

[Steven Lord]

Yeah, I should have thought of opening the image in a new tab. Thanks, Alexandre.

[Ridlo Tubagus sholeh]

hello steven and alexander

is there a solution to the problem? i hope to be resolved as soon as possible.

regards

Ridlo Tubagus S