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.
采纳的回答
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 个）
类别
在 帮助中心 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
