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

1 次查看(过去 30 天)
I need to know what Compiler does polyspace tool uses for Compilation.Thanks for Answering.

回答(1 个)

Alexandre De Barros
Hello,
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.
Regards,
Alex

Community Treasure Hunt

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

Start Hunting!

Translated by