From 8834bc154280e443aeac618eb433e365d82253c6 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 12 Dec 2020 17:12:21 +1100 Subject: Duplicate subgroup bug fixed, finally --- test/rat_tests-parse_graphs.adb | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'test') diff --git a/test/rat_tests-parse_graphs.adb b/test/rat_tests-parse_graphs.adb index 06f977b..878bee0 100644 --- a/test/rat_tests-parse_graphs.adb +++ b/test/rat_tests-parse_graphs.adb @@ -195,6 +195,7 @@ package body Rat_Tests.Parse_Graphs is + -- Should probably add tests for this on incomplete graphs at some point function Contains_Check return Test_Result is @@ -223,6 +224,9 @@ package body Rat_Tests.Parse_Graphs is then return Fail; end if; + if not Paper_Graph.Contains ((NP_1, 1), (1 => (Noun_1, 1))) then + return Fail; + end if; return Pass; end Contains_Check; -- cgit