Code Prover is giving CannotCreateFolder error

I am farming code Prover jobs in Polyspace Server that is set up in my company. In the log it says:

Contacting scheduler...Error: Remote execution has failed

Error: State: failed due to an unexpected error (polyspace:engine:CannotCreateFolder)

Error: Job State: finished

I also run Bug Finder in the same server and everything runs perfectly fine.It's just that with code prover, I get various errors.

Answer 1

[Anirban]

The error message hints that on the remote computer, you are trying to write to a location and creating a folder in that location fails. The exact issue depends on your workflow. For instance, you could have run Bug Finder previously and when running Code Prover using the same results folder, you are overwriting the results of the previous Bug Finder run and you do not have the required delete permissions.

To help diagnose the specific root cause, contact MathWorks Technical Support: https://www.mathworks.com/support/contact_us.html