linkage Issue with polyspace while running Code Prover

1 view (last 30 days)
Mouneeswar
Mouneeswar on 2 Jul 2025
Edited: Mouneeswar on 2 Jul 2025
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 */

Sign in to answer this question.

Answers (0)

Categories

Find more on Polyspace Code Prover in Help Center and File Exchange

Tags

Products


Release

R2019a

Community Treasure Hunt

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

Start Hunting!