Why does my PolySpace 4.2 (R2007a+) verification stop with a license error message "number of assignments is too big"?

When launching a PolySpace Client verification, the software checks the number of assignments and calls. When a certain limit (2000 or 3000) has been reached, PolySpace verification stops with the following message:

 *** License error: number of assignments and function calls is too big for -unit mode (5534 v.s 2000).

 *** Aborting.

The message can also be as follows:

 ...

 *** License error: number of assignments and function calls is too large

 *** for the desktop mode (27822 v.s 2000).

 *** Aborting.

Answer 1

[MathWorks Support Team]

This change has been incorporated into the documentation in Release 2009b (R2009b). For previous releases, read below for any additional information:

The limit is 2000 assignments and calls for PolySpace Client verifications associated with C and Ada languages. The limit is 3000 assignments and calls for PolySpace Client verifications associated with C++ language.

You can select the "Send to PolySpace Server” option and re-launch the verification. In this case, the verification is sent to the PolySpace Server and the limit checking is not performed.