Polyspace code prover for a Qt project
3 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Hi,
I am trying to test some Qt codes using Polyspace code prover, I heard the best way is to set up the polyspace project from my own build system like the following:
So first I compiled my Qt project to generate the makefile which is in the build folder, then I created the Polyspace project by choosing"create from build command", specifed the working directory to the Qt folder conatining the makefile, but I don't know how to determine the command used for building your source files? I tried with mingw-32-make command but it didn't work.
Can you help me on this issue? Thank you very much.
0 comentarios
Respuestas (0)
Ver también
Categorías
Más información sobre Polyspace Code Prover en Help Center y File Exchange.
Productos
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!