MATLAB的答案

Polyspace用什么编译器来编译代码……?

6视图(30天)
Debadutta智利的
Debadutta智利的 2017年1月3日
回答: Alexandre De Barros 2017年1月29日
我需要知道什么编译器编译polyspace工具使用。谢谢你的回答。

在回答这个问题。

答案(1)

Alexandre De Barros
Alexandre De Barros 2017年1月29日
你好,
Polyspace不使用一个特定的编译器,而是使用一个通用的预处理器,可以“模仿”一个编译器。
看到选项编译器的文档 在这里 为更多的信息。
由于这种机制,可以验证一个应用程序编写的Visual Studio在Linux下,或一个应用程序编写的一个IAR编译器在一个Windows机器。
问候,
亚历克斯