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.adb | |
parent | f8869a5efae197a77b238576a6863a3e1459399d (diff) |
Changed No_Loops_Introduced to Loops_Introduced
Diffstat (limited to 'test/rat_tests-parse_graphs.adb')
-rw-r--r-- | test/rat_tests-parse_graphs.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/rat_tests-parse_graphs.adb b/test/rat_tests-parse_graphs.adb index dce8637..1a42ea6 100644 --- a/test/rat_tests-parse_graphs.adb +++ b/test/rat_tests-parse_graphs.adb @@ -278,22 +278,22 @@ package body Rat_Tests.Parse_Graphs is end Valid_Starts_Finishes_Check; - function No_Loops_Introduced_Check + function Loops_Introduced_Check return Test_Result is My_Graph : Graphs.Parse_Graph := Paper_Graph; begin - if My_Graph.No_Loops_Introduced ((Sen_1, 4), (1 => (Sen_1, 4))) or - not My_Graph.No_Loops_Introduced ((Sen_1, 4), (1 => (NP_1, 4))) + if not My_Graph.Loops_Introduced ((Sen_1, 4), (1 => (Sen_1, 4))) or + My_Graph.Loops_Introduced ((Sen_1, 4), (1 => (NP_1, 4))) then return Fail; end if; My_Graph.Connect ((Sen_1, 4), (1 => (NP_1, 4))); - if My_Graph.No_Loops_Introduced ((NP_1, 4), (1 => (Sen_1, 4))) then + if not My_Graph.Loops_Introduced ((NP_1, 4), (1 => (Sen_1, 4))) then return Fail; end if; return Pass; - end No_Loops_Introduced_Check; + end Loops_Introduced_Check; function Is_Sorted_Check |