What can cause cross-file errors ?
显示 更早的评论
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 ?
采纳的回答
Alexandre De Barros
2015-7-31
0 个投票
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 个）
类别
在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
