gnatprove_11.2.3_f7ece6d3/share/examples/spark/spark_book/Chapter-03/elaboration_demo.adb

1
2
3
4
5
6
7
8
with Ada.Numerics.Elementary_Functions;
procedure Elaboration_Demo (Size  : in Positive;
                            Count : out Natural) is
   Line  : String (1 .. Size) := (others => ' ');
   Guess : Float := (1.0 + Ada.Numerics.Elementary_Functions.Sqrt (5.0)) / 2.0;
begin
   null;
end Elaboration_Demo;