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

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?

Answer 1

[Alexandre De Barros]

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