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

Viraj Potan il 29 Nov 2018

0
Link

Link diretto a questa domanda

https://it.mathworks.com/matlabcentral/answers/432694-system-error-no-such-file-or-directory-noent-no-such-file-or-directory-exception-io-io-raised-f

Risposto: Alexandre De Barros il 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?

0 Commenti
Mostra -1 commenti meno recentiNascondi -1 commenti meno recenti

Accedi per commentare.

Accedi per rispondere a questa domanda.

Risposte (1)

Alexandre De Barros il 29 Nov 2018

0
Link

Link diretto a questa risposta

https://it.mathworks.com/matlabcentral/answers/432694-system-error-no-such-file-or-directory-noent-no-such-file-or-directory-exception-io-io-raised-f#answer_349594

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