2 -- { dg-options "-gnatwu" }
4 with Ada
.Numerics
.Discrete_Random
; use Ada
.Numerics
;
6 procedure Entry_Family
is
11 protected body Family
is
12 entry Call
(for P
in Boolean) when True is
19 package Random_Boolean
is new Discrete_Random
(Result_Subtype
=> Boolean);
22 Boolean_Generator
: Generator
;
24 B
: constant Boolean := Random
(Boolean_Generator
);