linkage Issue with polyspace while running Code Prover

12 visualizaciones (últimos 30 días)
Mouneeswar
Mouneeswar el 2 de Jul. de 2025
Editada: Mouneeswar el 2 de Jul. de 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 */

Iniciar sesión para responder a esta pregunta.

Respuestas (0)

Categorías

Más información sobre Polyspace Code Prover en Help Center y File Exchange.

Etiquetas

Productos


Versión

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by