Сохранение циклов

Сохранение циклов без проверок

Для сохранения цикла без проверки выберите пункты меню Цикл ® Сохранить цикл ® Без проверки .

Эта функция позволяет сохранить цикл, даже если он неполон или во время формальной проверки в нем обнаружены ошибки, которые предполагается удалить позднее.

Сохранение циклов с проверками

Для сохранения цикла с проверками выберите путь меню Цикл ® Сохранить цикл ® С проверкой .

Перед сохранением цикла те же проверки выполняются, как ФормалПроверк (см. Формальные проверки цикла). Если во время проверки происходят ошибки, система выдает журнал ошибок и не сохраняет цикл.