linkage Issue with polyspace while running Code Prover

41 Ansichten (letzte 30 Tage)
Mouneeswar
Mouneeswar am 2 Jul. 2025
Bearbeitet: Mouneeswar am 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 */

Melden Sie sich an, um diese Frage zu beantworten.

Antworten (0)

Kategorien

Mehr zu Polyspace Code Prover finden Sie in Help Center und File Exchange

Tags

Produkte


Version

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by