-prog

指定工程的名称

语法

-prog projectName

-prog projectName 用于指定您的 Polyspace^® 工程的名称。此名称只能使用字母、数字、下划线 (_)、短横线 (-) 或句点 (.)。

此名称会显示在分析日志中以及其他一些位置。

为您的 Polyspace 工程指定一个名称：

Code Prover Server：

polyspace-code-prover-server -prog MyApp

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