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 visualizaciones (últimos 30 días)
Viraj Potan
Viraj Potan el 29 de Nov. de 2018
Respondida: Alexandre De Barros el 29 de Nov. de 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?

Iniciar sesión para responder a esta pregunta.

Respuestas (1)

Alexandre De Barros
Alexandre De Barros el 29 de Nov. de 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

Categorías

Más información sobre Troubleshooting in Polyspace Products for Ada en Help Center y File Exchange.

Etiquetas

Productos

Community Treasure Hunt

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

Start Hunting!

Translated by