What can cause cross-file errors ?
1 view (last 30 days)
Show older comments
Gustavo
on 31 Jul 2015
Answered: Alexandre De Barros
on 31 Jul 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 Comments
Accepted Answer
Alexandre De Barros
on 31 Jul 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 Comments
More Answers (0)
See Also
Categories
Find more on Command-Line Only Options in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!