Во время проверки экземпляры регенерируются. Для упрощения добавления новых экземпляров в сессию можно использовать команду Проверка (Verify), чтобы они добавлялись в индексный файл экземпляров. Сохранение базовой модели после проверки приводит к добавлению имен всех успешно регенерированных экземпляров в индексный файл экземпляров для данной папки.

Чтобы проверить экземпляры, выберите команду Инструменты (Tools) > Проверка (Verify) или нажмите кнопку Проверка (Verify) на панели инструментов. Эти команды и кнопка доступны в диалоговом окне Таблица семейства (Family Table). Обе команды открывают диалоговое окно Дерево семейства (Family Tree), в котором перечислены и выбраны для проверки все экземпляры. Проверить можно все экземпляры или только выбранные.

При регенерации экземпляра рядом с его именем может очень быстро появиться красная стрелка. После регенерации экземпляра статус регенерации (SUCCESS или FAILURE) отображается в столбце Статус контроля (Verification status) диалогового окна.

Результаты контроля записываются в файл modelname.tst, где modelname — имя текущей базовой модели. Такой файл .tst содержит имя экземпляра, имя базовой модели и статус регенерации для каждого проверенного экземпляра.