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 views (last 30 days)
Viraj Potan
Viraj Potan on 29 Nov 2018
Answered: Alexandre De Barros on 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?

Sign in to answer this question.

Answers (1)

Alexandre De Barros
Alexandre De Barros on 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

Categories

Find more on Troubleshooting in Polyspace Products for Ada in Help Center and File Exchange

Tags

Products

Community Treasure Hunt

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

Start Hunting!