MATLAB: Am I unable to start Polyspace server from polyspace-​server-set​tings

Polyspace Bug FinderPolyspace Client for AdaPolyspace Client for C/C++Polyspace Code ProverPolyspace Model Link SLPolyspace Model Link TLPolyspace Server for Ada

Why am I unable to start Polyspace server from polyspace-server-settings?

Best Answer

When starting the Polyspace daemon with Polyspace mdce service in polyspace-server-settings, the Polyspace daemon failed to start.
This error may occur if you are using the MATLAB_JAVA environment variable to specify a non-default MATLAB Java version.
If this variable is set, you will need to unset it in order to run Polyspace daemon properly.
  • NOTE: Starting in R2019a the following name changes occurred:
  • MATLAB Distributed Computing Server was renamed to MATLAB Parallel Server
  • mdce_def was renamed to mjs_def
  • mdce binary was renamed to mjs