summaryrefslogtreecommitdiff
path: root/test/rat_tests-parse_graphs.adb
diff options
context:
space:
mode:
Diffstat (limited to 'test/rat_tests-parse_graphs.adb')
-rw-r--r--test/rat_tests-parse_graphs.adb4
1 files changed, 4 insertions, 0 deletions
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;