|
-- { dg-do run }
|
|
-- { dg-options "-gnata" }
|
|
|
|
with Ada.Text_IO; use Ada.Text_IO;
|
|
with Assertion_Policy1_Pkg; use Assertion_Policy1_Pkg;
|
|
|
|
procedure Assertion_Policy1 is
|
|
begin
|
|
Proc (2, 1);
|
|
|
|
exception
|
|
when others =>
|
|
Put_Line ("ERROR: unexpected exception");
|
|
raise;
|
|
end Assertion_Policy1;
|