Команда Project I Link Only

Эта команда (ей соответствует комбинация клавиш <Shift>+<F9>) используется для выполнения компоновки. В этом случае построитель программ вызывает компоновщика и не проверяет, нужно ли повторно компилировать какие-либо модули проекта (или даже впервые компилировать).

7.7 Команда Project / Test Goal

Эта команда (ей соответствует комбинация клавиш <Ctrl>+<G>) используется для тестирования простых целей (Goals). Программа компилируется и компонуется в специальном режиме, и затем запускается соответствующий исполняемый файл.

Утилита Test Goal ищет все решения для определенной в программе цели. Для каждого решения Test Goal отображает значения всех переменных из секции GOAL и число решений. Эта особенность — удобный способ проверить локальные предикаты в модуле.

Например, следующая цель:

GOAL X = 2; X = 1, Y = X + 1

приведет к такому результату (рис. 9):

Рис. 9 Вывод режима тестирования цели.

Не нашли, что искали? Воспользуйтесь поиском: