What can cause cross-file errors ?
1 visualización (últimos 30 días)
Mostrar comentarios más antiguos
Gustavo
el 31 de Jul. de 2015
Respondida: Alexandre De Barros
el 31 de Jul. de 2015
At the end of the compilation phase for a Polyspace Code Prover 2013b project I am getting an error:
.
-------------------------------------------------------------------
--- ---
--- Verifier has detected cross-files error(s) in the code. ---
--- Please correct them and launch the analysis again. ---
--- ---
-------------------------------------------------------------------
.
The error does not point to any file and I was not able to find anything about that in the documentation. Any ideas what can cause this type of error ?
0 comentarios
Respuesta aceptada
Alexandre De Barros
el 31 de Jul. de 2015
Hi Gustavo !
This message, given at the end of the log, says that Polyspace has detected cross-files errors.
"Cross-files errors" are problems detected by Polyspace when the tool is checking the "consistency" of the files (after a phase where Polyspace checks each file independently).
You will find more information on this kind of errors in the documentation: http://fr.mathworks.com/help/codeprover/ug/c-link-errors.html
If you look earlier in the log, you will see the precise errors found by Polyspace, with messages similar to the ones given in the documentation.
Regards,
Alexandre
0 comentarios
Más respuestas (0)
Ver también
Categorías
Más información sobre Command-Line Only Options en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!