diff options
author | Jed Barber <jjbarber@y7mail.com> | 2020-11-14 00:35:45 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2020-11-14 00:35:45 +1100 |
commit | b2bcd79d78276289fab3406280c787277476b357 (patch) | |
tree | aade7944ae50d99ebd188e15ad4a2298582ab971 /test/rat_tests-parse_graphs.ads | |
parent | f8869a5efae197a77b238576a6863a3e1459399d (diff) |
Changed No_Loops_Introduced to Loops_Introduced
Diffstat (limited to 'test/rat_tests-parse_graphs.ads')
-rw-r--r-- | test/rat_tests-parse_graphs.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/rat_tests-parse_graphs.ads b/test/rat_tests-parse_graphs.ads index ad2e48d..7323071 100644 --- a/test/rat_tests-parse_graphs.ads +++ b/test/rat_tests-parse_graphs.ads @@ -21,7 +21,7 @@ package Rat_Tests.Parse_Graphs is function Reachable_Check return Test_Result; function All_Reachable_Check return Test_Result; function Valid_Starts_Finishes_Check return Test_Result; - function No_Loops_Introduced_Check return Test_Result; + function Loops_Introduced_Check return Test_Result; function Is_Sorted_Check return Test_Result; function No_Duplicates_Check return Test_Result; @@ -70,7 +70,7 @@ package Rat_Tests.Parse_Graphs is (+"Reachable", Reachable_Check'Access), (+"All_Reachable", All_Reachable_Check'Access), (+"Valid_Starts_Finishes", Valid_Starts_Finishes_Check'Access), - (+"No_Loops_Introduced", No_Loops_Introduced_Check'Access), + (+"Loops_Introduced", Loops_Introduced_Check'Access), (+"Is_Sorted", Is_Sorted_Check'Access), (+"No_Duplicates", No_Duplicates_Check'Access), |