Polyspace Code Prover 2015a: Unexpexted error (parallel: task: MJSUnableToSubmitResult)
1 view (last 30 days)
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
Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only