libadalang_tools_22.0.0_c9028428/testsuite/tests/laltools/T318-086_Suppress_Separate_0/test-baz.adb

1
2
3
4
5
6
7
8
-- Test package has the with but not the use
with Ada.Numerics.Elementary_Functions; use Ada.Numerics.Elementary_Functions;

separate (Test)
function Baz (A : Integer) return Boolean is
begin
     return Ada.Numerics.Elementary_Functions.Log (10.0) > 5.0;
end Baz;