OPAVES/software/tests_database/suppress.adc

pragma Assertion_Policy (Pre => Ignore);
pragma Assertion_Policy (Post => Ignore);
pragma Assertion_Policy (Ghost => Check);