Global Variable Checks

创建全局变量的表（仅限 Code Prover）

描述

此组件用于创建 Polyspace® Code Prover™ 全局变量的表。在此表中，您可以看到每种类型的全局变量的数量。

另请参阅

主题