Obtaining Configuration Information

Use the polyspace-ver command to quickly gather information about your system configuration. You require this information when entering support requests.

Configuration information includes:

  • Hardware configuration

  • Operating system

  • Polyspace® licenses

  • Specific version numbers for Polyspace products

  • Installed Bug Report patches

To obtain configuration information, use the following command:


    Note:   You can obtain the same configuration information by selecting Help > About in the Polyspace verification environment.

Was this topic helpful?