linkage Issue with polyspace while running Code Prover

1 vue (au cours des 30 derniers jours)
Mouneeswar
Mouneeswar le 2 Juil 2025
Modifié(e) : Mouneeswar le 2 Juil 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 */

Connectez-vous pour répondre à cette question.

Réponses (0)

Catégories

En savoir plus sur Polyspace Code Prover dans Help Center et File Exchange

Tags

Produits


Version

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by