How to set Compiler option in Polyspace code prover?

Hello All, I am using polyspace code prover 2013b. To avoid multiple inclusion of header file i want to set the compiler option -include-headers-once. How to set -include-headers-once option in polyspace code prover tool?

Thanks, Srinivasan K.

Answer 1

[Alexandre De Barros]

Hello,

Since this is an extra option, in the configuration pane, you have to go to 'Advanced Settings' and enter the option in the text field 'Other'.

Alex

[srinivasan kandaswamy]

Hello Alex, Thanks for the support. I added the compiler option in Advanced settings->Other.It works and the compilation time is reduced.

Srinivasan K.