linkage Issue with polyspace while running Code Prover

39 visualizzazioni (ultimi 30 giorni)
Mouneeswar
Mouneeswar il 2 Lug 2025
Modificato: Mouneeswar il 2 Lug 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 */

Accedi per rispondere a questa domanda.

Risposte (0)

Categorie

Scopri di più su Polyspace Code Prover in Help Center e File Exchange

Tag

Prodotti


Release

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by