File: math-test.ads

package info (click to toggle)
libaunit 25.0.0-2
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 1,360 kB
  • sloc: ada: 5,615; python: 243; makefile: 223; sh: 92; xml: 13
file content (20 lines) | stat: -rw-r--r-- 475 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
--
--  Copyright (C) 2008, AdaCore
--
with AUnit;
with AUnit.Test_Fixtures;

package Math.Test is

   type Test is new AUnit.Test_Fixtures.Test_Fixture with null record;

   procedure Test_Addition (T : in out Test);
   procedure Test_Subtraction (T : in out Test);

   procedure Test_Addition_Failure (T : in out Test);
   --  This test will do a failed assertion

   procedure Test_Addition_Error (T : in out Test);
   --  This test will raise an exception

end Math.Test;