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