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

조회 수: 3 (최근 30일)

Viraj Potan 2018년 11월 29일

0
링크

이 질문에 대한 바로 가기 링크

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

답변: 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?

댓글 수: 0
이전 댓글 -2개 표시이전 댓글 -2개 숨기기

댓글을 달려면 로그인하십시오.

이 질문에 답변하려면 로그인하십시오.

답변 (1개)

Alexandre De Barros 2018년 11월 29일

0
링크

이 답변에 대한 바로 가기 링크

https://kr.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