Checking Installed Licenses

You can check which Polyspace licenses are installed on your system using the -check-license command. Polyspace product usage is standard.

To check your licenses, enter the command:

polyspace[-desktop]-[c|ada|cpp|ada95]-check-license

The results appear in the Polyspace log file:

<polyspace-c-check-license 2008b PID460 PGID2616>
<polyspace-viewer V4.2.2.12>
…
Options used with Verifier:
-prog=polyspace
-polyspace-version=4_2_1_6
…
-lang=C
-no-exec=true


Verifying host configuration ...

*** Configuration of the host : OK
Checking license ...
license is OK

On a Windows machine, the same command is available:

Polyspace_Install\wbin\polyspace[-desktop-]-[c|cpp|ada95]-check-license.exe

Configuring Concurrent Licenses

License Error Messages

© 1984-2012- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS