Main Content

-prog

Specify name of project

Syntax

-prog projectName

Description

-prog projectName specifies a name for your Polyspace® project. This name must use only letters, numbers, underscores (_), dashes (-), or periods (.).

The name appears in the analysis log and a few other places.

Examples

Assign a name to your Polyspace project:

  • Bug Finder:

    polyspace-bug-finder -prog MyApp

  • Code Prover:

    polyspace-code-prover -prog MyApp

  • Bug Finder Server:

    polyspace-bug-finder-server -prog MyApp

  • Code Prover Server:

    polyspace-code-prover-server -prog MyApp

Tips

This option is not required for a Polyspace as You Code analysis.

See Also

|

Topics