- Before relaunching polyspace-configure, be sure that the build command will compile C and/or C++ files again by doing a clean build (i.e. the object files have been deleted). For example, if you are using make, please do a 'make clean' before executing the command below.
- Then execute: polyspace-configure -build-trace build_trace.log -keep-all-files -debug <your build command> > out.log 2>&1
How to debug a polyspace-configure issue?
20 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
MathWorks Support Team
el 2 de Nov. de 2023
Editada: MathWorks Support Team
hace alrededor de 10 horas
I'm using polyspace-configure to create a Polyspace project or options file, but either polyspace-configure fails during its process or provide a configuration/options file that eventually leads to compilation problems during the Polyspace analysis.
What can I do to know what is happening and get debug information?
Respuesta aceptada
MathWorks Support Team
hace alrededor de 23 horas
Editada: MathWorks Support Team
hace alrededor de 10 horas
Here is how to get debug log files with polyspace-configure issues, before contacting the MathWorks support:
Before R2020a
Relaunch polyspace-configure with some extra options. More precisely, here is the procedure:
then send the two log files build_trace.log and out.log generated this way. The two files don't contain IP information.
If polyspace-configure generated a configuration file, send also the Polyspace log file that was utilized with it.
Since R2020a
There is a new option that can be used with polyspace-configure:
-easy-debug.
Before using it when calling polyspace-configure, first remove old build artifacts to do a clean rebuild of your code (to ensure that all the source files are compiled during the build), and then launch:
polyspace-configure ... -no-compiler-cache -easy-debug <folder> <your build command>
The folder <folder> will contain a zip file that you should send to the support. The files in the zip don't contain IP information.
If polyspace-configure generated a configuration file, send also the Polyspace log file that was utilized with it.
0 comentarios
Más respuestas (0)
Ver también
Categorías
Más información sobre Options at Command Line Only en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!