Code Prover is giving CannotCreateFolder error
1 view (last 30 days)
Show older comments
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.
0 Comments
Accepted Answer
Anirban
on 21 Nov 2019
Edited: Anirban
on 21 Nov 2019
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
0 Comments
More Answers (0)
See Also
Categories
Find more on Options at Command Line Only in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!