System error No such file or directory (noent: No such file or directory) exception Io(Io) raised. For some files in code prover verfication log file

2 次查看（过去 30 天）
Viraj Potan
Viraj Potan 2018-11-29
回答： Alexandre De Barros 2018-11-29
I got the above error , when i ran code prover for one workspace. Some files are completed verification but some got above error. How to overcome this?

请先登录，再回答此问题。

回答（1 个）

Alexandre De Barros
Alexandre De Barros 2018-11-29
Hello,
with this kind of error, you should contact the technical support, and send the verification log (showing the options used and the error message) with your request.
Best regards,
Alexandre

类别

在 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