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 CenterFile Exchange에서 Polyspace Code Prover에 대해 자세히 알아보기

제품


릴리스

R2022b

Community Treasure Hunt

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

Start Hunting!

Translated by