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

조회 수: 2 (최근 30일)
Debadutta Patra
Debadutta Patra 2017년 1월 3일
답변: Alexandre De Barros 2017년 1월 29일
I need to know what Compiler does polyspace tool uses for Compilation.Thanks for Answering.

이 질문에 답변하려면 로그인하십시오.

답변 (1개)

Alexandre De Barros
Alexandre De Barros 2017년 1월 29일
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

카테고리

Help Center 및 File Exchange에서 Troubleshoot Compilation Errors에 대해 자세히 알아보기

태그

제품

Community Treasure Hunt

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

Start Hunting!

Translated by