linkage Issue with polyspace while running Code Prover
Ältere Kommentare anzeigen
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 */
Antworten (0)
Kategorien
Mehr zu Polyspace Code Prover finden Sie in Hilfe-Center und File Exchange
am 2 Jul. 2025
am 2 Jul. 2025
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
