17 visualizzazioni (ultimi 30 giorni)
we are getting the following error when trying to generate an options file through an build script. it happened through the command line as using the GUI It was tested with the MinGW compiler and Make tool as also with the ARM-MinGW are we missing something in our Polyspace installation? or is it some compiler incompatibility?
Thanks in advance,
Alejandro (on behalf of Patric's team)
Alexandre De Barros il 24 Mag 2017
This error is usually coming from missing DLLs of the Microsoft Visual redistributable package (and used by polyspace-configure).
So, try installing both the x86 and x64 versions of the Visual C++ Redistributable for Visual Studio 2012 from this address http://www.microsoft.com/en-us/download/details.aspx?id=30679
If it does not work, I suggest you to contact the technical support.
Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings