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 Troubleshooting in Polyspace Products for Ada 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!