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

20 Jun 2016
0 Answers
Updated 23 Jun 2016
7 Views (30 days)

0 votes

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 Comment
Show -1 older comments Hide -1 older comments

Dimo
Dimo on 23 Jun 2016
" 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."

Sign in to comment.

Sign in to answer this question.

Answers (0)

Categories

Find more on Run Settings in Help Center and File Exchange

Products

Tags

Asked:

Dimo
Dimo
on 20 Jun 2016

Commented:

Dimo
Dimo
on 23 Jun 2016

Community Treasure Hunt

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

Start Hunting!