Polyspace Code Prover 2015a: Unexpexted error (parallel: task: MJSUnableToSubmitResult)

2016 6 20
0 个回答
更新时间：2016 6 23
8 次查看（30 天）

0 个投票

Hello,
The compilation process is successful and verification starts. After some time I get this error message on the Polyspace Job Monitor:
Unexpected error (parallel: task: MJSUnableToSubmitResult).
Any idea what is the problem?
Best Regards Dimo Petkov

1 个评论
显示 -1更早的评论 隐藏 -1更早的评论

Dimo
Dimo 2016-6-23
" This is a known bug in MATLAB Distributed Computing Server. This issue is also known to occur when the archive to download is larger than 2GB. This issue has been fixed in MATLAB R2016a. A possible workaround would be to upgrade to MATLAB R2016a. Alternatively, you can try reducing the size of the archive to be verified to less than 2GB."

请先登录，再进行评论。

请先登录，再回答此问题。

回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息

产品

标签

提问:

Dimo
Dimo
2016-6-20

评论：

Dimo
Dimo
2016-6-23

Community Treasure Hunt

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

Start Hunting!

Translated by