linkage Issue with polyspace while running Code Prover

3 ビュー (過去 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