blob: 89a9380b9d2a3fd39577baa8497070f6389150e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
-- { dg-do compile }
-- { dg-options "-O2" }
with Ada.Text_IO; use Ada.Text_IO;
with Assert;
package body Controlled_Record is
procedure Assert_Invariants (PA : Point_T) is
PB : Point_T;
begin
Assert.Assert (PB.Pos = PA.Pos);
end;
end Controlled_Record;
|
