设置结构体内部的验证深度

指定必须指定结构体内部的验证深度

自 R2023b 起

描述

指定您是否要设置结构体内部的验证深度 (-k-limiting) 选项。

设置选项

使用以下方法之一设置选项：

  • Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择规模节点，然后选择此选项。

  • 命令行和选项文件：请使用 -k-limiting 选项。请参阅命令行信息。

为何使用此选项

如果您的代码包含许多层级，那么 Polyspace® Code Prover™ 验证可能会比预期更慢。在这种情况下，使用此选项启用结构体内部的验证深度 (-k-limiting) 选项可以限制验证深度。

设置

打开

Polyspace 启用结构体内部的验证深度 (-k-limiting) 选项。

关闭（默认值）

Polyspace 保持结构体内部的验证深度 (-k-limiting) 字段为禁用状态。

命令行信息

参数：-k-limiting
值：positive integer
示例 (Code Prover)：polyspace-code-prover -sources file_name -k-limiting 3
示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -k-limiting 3

版本历史记录

在 R2023b 中推出

另请参阅

主题