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

4 vues (au cours des 30 derniers jours)
Viraj Potan
Viraj Potan le 29 Nov 2018
Réponse apportée : Alexandre De Barros le 29 Nov 2018
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?

Connectez-vous pour répondre à cette question.

Réponses (1)

Alexandre De Barros
Alexandre De Barros le 29 Nov 2018
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

Catégories

En savoir plus sur ARM Cortex-A Processors dans Help Center et File Exchange

Tags

Produits

Community Treasure Hunt

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

Start Hunting!

Translated by