144
145
146
147
148
149
150
151
152
153
154
155
156
157
|
NT.Item (Report, Name, NT.Fail);
NT.Info (Report,
"Unexpected reference count"
& Natural'Image (Actual_Count)
& " instead of"
& Natural'Image (Expected_Count));
Continue := False;
end if;
end Check_Ref;
--------------------
-- Invidual tests --
|
>
>
>
>
>
>
>
>
>
|
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
|
NT.Item (Report, Name, NT.Fail);
NT.Info (Report,
"Unexpected reference count"
& Natural'Image (Actual_Count)
& " instead of"
& Natural'Image (Expected_Count));
Continue := False;
elsif not Ref.Is_Empty and then Ref.Is_Last /= (Actual_Count = 1) then
NT.Item (Report, Name, NT.Fail);
NT.Info (Report,
"Unexpected result of Is_Last ("
& Boolean'Image (Ref.Is_Last)
& ") while counter is"
& Natural'Image (Actual_Count));
Continue := False;
end if;
end Check_Ref;
--------------------
-- Invidual tests --
|