[Polyspace Codeprover] incompatible issue
2 views (last 30 days)
Christian Bard on 24 May 2022
When using Polyspace on a C++ application, it is recommended to use polyspace-configure. See also ref doc for deeper information about options.
it allows to sniff the build command and create a configuratoion file in an automatic way. If you are not able to use polyspace-configure, would you please contact Technical Support and provide complete results folder.