test_tamdt.adb

来自「用于进行gcc测试」· ADB 代码 · 共 9 行

-- { dg-do run }

with Tamdt;

procedure Test_Tamdt is
begin
   Tamdt.Check;
end;