Проверки глобальной переменной

Составьте таблицу глобальных переменных (Только Программа автоматического доказательства кода)

Описание

Этот компонент составляет таблицу глобальных переменных Polyspace® Code Prover™. Из этой таблицы вы видите количество глобальных переменных каждого типа.