What Compiler does Polyspace uses for Compiling the code...?

5 visualizzazioni (ultimi 30 giorni)
I need to know what Compiler does polyspace tool uses for Compilation.Thanks for Answering.

Risposte (1)

Alexandre De Barros
Alexandre De Barros il 29 Gen 2017
Polyspace does not use a specific compiler but instead uses a general-purpose preprocessor that can "emulate" a compiler.
See the documentation of the option -compiler here for more information.
Thanks to this mechanism, it is possible to verify an application written for Visual Studio under Linux, or a application written for an IAR compiler under a Windows machine.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by