Azzera filtri
Azzera filtri

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

6 visualizzazioni (ultimi 30 giorni)
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?

Risposte (1)

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

Community Treasure Hunt

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

Start Hunting!

Translated by