Why do I get a license warning when starting the polyspaced daemon in Polyspace?

When I start the polyspaced daemon on my machine or I try get the daemon's status I receive the following license warning:

 [...]

 Checking PolySpace licenses ...

 Warning: An unexpected error occured while checking the CPP license for product  CC-X.X.0.X (R20YYa) on host my_machine.

 Warning: An unexpected error occured while checking the C license for product CC-X.X.0.X (R20YYa) on host my_machine.

where X.X.0.X represents Polyspace version and R20YYa/ R20YYb its release number.

However, it seems the license can be checked out fine.

Answer 1

[MathWorks Support Team]

This issue can have many root causes:

1. It can be caused by Polyspace creating a lot of corrupt files in the temporary folder.

2. The temporary folder can have wrong access rights

...

To find root cause of the issue, perform the following steps:

1) Stop your polyspaced daemon:

 /etc/init.d/polyspaced stop

2) Edit polyspace.conf file located in /etc/Polyspace sub-folder and add the following field:

%%%BEGIN SRC%%%

debuglevel=3

%%%END SRC%%%

3) Restart the polyspaced daemon:

 /etc/init.d/polyspaced start

Then same issue will be displayed in the polyspaced.log file with more verbose information. It will help understanding the root cause and allow to find a solution.

After, do not forget to remove field in polyspace.cong file as polyspaced.log file would become very big.