-date

Specify date of analysis

Syntax

-date "date"


Description

-date "date" specifies the date stamp for the analysis in the format dd/mm/yyyy. By default the value is the date the analysis starts.

In the user interface (Polyspace^® desktop products only), on the Configuration pane, enter this option in the Other field. See Other.

Examples

Assign a date to your Polyspace Project:

• Bug Finder:

  polyspace-bug-finder -date "15/03/2012"

• Code Prover:

  polyspace-code-prover -date "15/03/2012" 

• Bug Finder Server:

  polyspace-bug-finder-server -date "15/03/2012"

• Code Prover Server:

  polyspace-code-prover-server -date "15/03/2012" 

Tips

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