[polyspace R2015b] need to add multiple headers

13 vues (au cours des 30 derniers jours)

dakhlaoui zina le 17 Nov 2016

Hello All,

I am using polyspace code prover 2015b. To avoid multiple inclusion of headers file i want to set the compiler option -include-headers-once.

What is the right expression to add those multiple headers with the option -include-headers-once

thank you very much

En savoir plus sur Polyspace Code Prover dans Help Center et File Exchange

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

Translated by