with Unit_Tests; use Unit_Tests; package Rat_Tests.Errors is function Valid_Message_Check return Test_Result; function Valid_Identifier_Check return Test_Result; function Join_Check return Test_Result; function Encode_1_Check return Test_Result; function Encode_2_Check return Test_Result; function Encode_3_Check return Test_Result; function Encode_4_Check return Test_Result; function Decode_Check return Test_Result; Tests : Test_Array := ((+"Valid_Message", Valid_Message_Check'Access), (+"Valid_Identifier", Valid_Identifier_Check'Access), (+"Join", Join_Check'Access), (+"Encode_1", Encode_1_Check'Access), (+"Encode_2", Encode_2_Check'Access), (+"Encode_3", Encode_3_Check'Access), (+"Encode_4", Encode_4_Check'Access), (+"Decode", Decode_Check'Access)); end Rat_Tests.Errors;