Global Variable Checks

グローバル変数のテーブルの作成 (Code Prover のみ)

説明

このコンポーネントでは、Polyspace^® Code Prover™ のグローバル変数の表が作成されます。この表から、各タイプのグローバル変数の数を確認できます。