linkage Issue with polyspace while running Code Prover

조회 수: 40 (최근 30일)
Mouneeswar
Mouneeswar 2025년 7월 2일
편집: Mouneeswar 2025년 7월 2일
While running code prover in polyspace 2019, we are getting an error for every model "Error: linkage specification is incompatible with previous extern void.
/* runnables */
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
extern void Run_SSM_StrtStopMngr(void);
#ifdef __cplusplus
} /* extern "C" */
#endif /* __cplusplus */
/* API functions */
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */

이 질문에 답변하려면 로그인하십시오.

답변 (0개)

카테고리

Help Center 및 File Exchange에서 Polyspace Code Prover에 대해 자세히 알아보기

태그

제품


릴리스

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by