What can cause cross-file errors ?

1 次查看（过去 30 天）
Gustavo
Gustavo 2015-7-31
回答： Alexandre De Barros 2015-7-31
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
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 个）

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by