主要内容

-author

指定工程作者

语法

-author "value"

描述

-author "value" 为 Polyspace® 工程分配作者。在生成的报告中,该名称显示为工程负责人。

默认值是当前用户的用户名,由 DOS 或 UNIX 命令 whoami 给出。

在 Polyspace 桌面端产品的用户界面中,选择 以在 Polyspace 工程 - 属性对话框中指定“工程名称”、“版本”和“作者”参数。

示例

为您的 Polyspace 工程分配一个工程作者。

  • Bug Finder:

    polyspace-bug-finder -author "John Smith"
  • Code Prover:

    polyspace-code-prover -author "John Smith"
  • Bug Finder Server:

    polyspace-bug-finder-server -author "John Smith"
  • Code Prover Server:

    polyspace-code-prover-server -author "John Smith"

提示

Polyspace as You Code 分析不需要此选项。