Проверка ошибок во время выполнения программы

Ада предоставляет обширные возможности для проверки ошибок во время выполнения программы.

По умолчанию, GNAT отключает некоторые проверки для повышения скорости выполнения программы.

Для включения всех проверок, необходимо использовать опции -gnato -gnatE.

Для того чтобы отключить все проверки, необходимо использовать опцию -gnatp.