Ада предоставляет обширные возможности для проверки ошибок во время выполнения программы.
По умолчанию, GNAT отключает некоторые проверки для повышения скорости выполнения программы.
Для включения всех проверок, необходимо использовать опции -gnato -gnatE.
Для того чтобы отключить все проверки, необходимо использовать опцию -gnatp.