Hosted by
 |
with Ada.Text_IO;
with Primes;
use Primes;
procedure Test_Suite is
begin
Ada.Text_IO.Put_Line("prime number test suite");
pragma Assert(Prime(1));
pragma Assert(Prime(2));
pragma Assert(Prime(3));
pragma Assert(not Prime(4));
pragma Assert(Prime(5));
pragma Assert(not Prime(6));
pragma Assert(Next_Prime(1) = 1);
pragma Assert(Next_Prime(2) = 2);
pragma Assert(Next_Prime(3) = 3);
pragma Assert(Next_Prime(4) = 5);
pragma Assert(Next_Prime(761) = 761);
pragma Assert(Next_Prime(763) = 769);
pragma Debug(Ada.Text_IO.Put_Line("all tests succeeded"));
end Test_Suite;
|