-doc | -documentation

在 Web 浏览器中显示 Polyspace 文档

语法

-doc -documentation

-doc 和 -documentation 用于在您的默认 Web 浏览器中打开 Polyspace^® Web 文档。您可以看到有关命令和分析选项的信息，例如入门、工作流和参考页。您还可以在文档中进行搜索。

在您的系统 Web 浏览器中显示 Polyspace 文档：

Bug Finder：

polyspace-bug-finder -doc
polyspace-bug-finder -documentation

Code Prover：

polyspace-code-prover -doc
polyspace-code-prover -documentation

Bug Finder Server：

polyspace-bug-finder-server -doc
polyspace-bug-finder-server -documentation

Code Prover Server：

polyspace-code-prover-server -doc
polyspace-code-prover-server -documentation