From 8828e68cb86c865d625961c07c7ce2eb4ae191bc Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 7 Nov 2020 01:21:54 +1100 Subject: Parse_Graphs complete aside from isomorphism and testing --- test/rat_tests-parse_graphs.ads | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 test/rat_tests-parse_graphs.ads (limited to 'test/rat_tests-parse_graphs.ads') diff --git a/test/rat_tests-parse_graphs.ads b/test/rat_tests-parse_graphs.ads new file mode 100644 index 0000000..bec4853 --- /dev/null +++ b/test/rat_tests-parse_graphs.ads @@ -0,0 +1,27 @@ + + +with Unit_Tests; +use Unit_Tests; + + +package Rat_Tests.Parse_Graphs is + + + function Root_Check return Test_Result; + function Finish_List_Check return Test_Result; + function Sub_Nodes_Check return Test_Result; + function Prune_Check return Test_Result; + function Ambiguous_Check return Test_Result; + + + Tests : Test_Array := + ((+"Root getter, setter", Root_Check'Access), + (+"Finish_List", Finish_List_Check'Access), + (+"Sub_Nodes", Sub_Nodes_Check'Access), + (+"Prune", Prune_Check'Access), + (+"Is_Ambiguous", Ambiguous_Check'Access)); + + +end Rat_Tests.Parse_Graphs; + + -- cgit