Add test for bigger maps

dodona-edu · Dec 3, 2024 · 82f67d2 · 82f67d2
1 parent 486a9ec
commit 82f67d2
Showing 1 changed file with 41 additions and 0 deletions.
diff --git a/tests/test_oracles_builtin.py b/tests/test_oracles_builtin.py
@@ -827,6 +827,47 @@ def test_smaller_map_is_not_accepted(tmp_path: Path, pytestconfig: pytest.Config
     assert result.result.enum == Status.WRONG
 
 
+def test_bigger_map_is_not_accepted(tmp_path: Path, pytestconfig: pytest.Config):
+    channel = ValueOutputChannel(
+        value=ObjectType(
+            type=BasicObjectTypes.MAP,
+            data=[
+                ObjectKeyValuePair(
+                    key=StringType(type=BasicStringTypes.TEXT, data="a"),
+                    value=StringType(type=BasicStringTypes.TEXT, data="b"),
+                ),
+                ObjectKeyValuePair(
+                    key=StringType(type=BasicStringTypes.TEXT, data="c"),
+                    value=StringType(type=BasicStringTypes.TEXT, data="d"),
+                ),
+            ],
+        )
+    )
+
+    actual_value = get_converter().dumps(
+        ObjectType(
+            type=BasicObjectTypes.MAP,
+            data=[
+                ObjectKeyValuePair(
+                    key=StringType(type=BasicStringTypes.TEXT, data="a"),
+                    value=StringType(type=BasicStringTypes.TEXT, data="b"),
+                ),
+                ObjectKeyValuePair(
+                    key=StringType(type=BasicStringTypes.TEXT, data="c"),
+                    value=StringType(type=BasicStringTypes.TEXT, data="d"),
+                ),
+                ObjectKeyValuePair(
+                    key=StringType(type=BasicStringTypes.TEXT, data="b"),
+                    value=StringType(type=BasicStringTypes.TEXT, data="d"),
+                ),
+            ],
+        )
+    )
+    config = oracle_config(tmp_path, pytestconfig, language="javascript")
+    result = evaluate_value(config, channel, actual_value)
+    assert result.result.enum == Status.WRONG
+
+
 def test_exact_map_is_accepted(tmp_path: Path, pytestconfig: pytest.Config):
     channel = ValueOutputChannel(
         value=ObjectType(