with Ada.Text_IO, Ratnest.Tests; use Ada.Text_IO, Ratnest, Ratnest.Tests; procedure Test_Main is begin Put_Line ("Running tests for Packrat.Util..."); Run_Tests (Util_Predicate_Tests); end Test_Main;