PolyspaceAsYouCode analyse header files

3 ビュー (過去 30 日間)
Horst Dreßel
Horst Dreßel 2022 年 11 月 29 日
回答済み: Christian Bard 2022 年 12 月 6 日
If I analyse header files with PolyspaceAsYouCode plugin I got errors if types defined in other header files. If I analyse C-files it works.
How it is possible to analyse header files with subsequent definitions ?

回答 (1 件)

Christian Bard
Christian Bard 2022 年 12 月 6 日
I assume that you did set build in PolyspaceAsYouCode plug-in with a Polyspace build options file.
In order that PaYC would analyse header files, I guess, the build options file should contain an entry allowing to provide information to build header files.

カテゴリ

Help Center および File ExchangePolyspace Code Prover についてさらに検索

製品


リリース

R2022b

Community Treasure Hunt

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

Start Hunting!

Translated by