xref
: /
dports
/
lang
/
gcc10
/
gcc-10.3.0
/
gcc
/
testsuite
/
gnat.dg
/
assert.ads
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
package
Assert
is
2
3
procedure
Assert
(
Condition
:
Boolean
);
4
5
end
Assert
;
6