libadalang_tools_22.0.0_c9028428/testsuite/tests/test/T206-015/src_after/contracts.adb

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
with Ada.Numerics.Elementary_Functions;
package body Contracts is

   function Sqrt (X : Float) return Float
   is
   begin
      if X < 0.0 then
         return -1.0;
      else
         return Ada.Numerics.Elementary_Functions.Sqrt (X);
      end if;
   end Sqrt;

end Contracts;