xref
: /
dports
/
devel
/
avr-gcc
/
gcc-10.2.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