Update test_pdaconfiguration.py

caleb531 · Oct 21, 2023 · 44331d2 · 44331d2
1 parent 9f4d9ee
commit 44331d2
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/tests/test_pdaconfiguration.py b/tests/test_pdaconfiguration.py
@@ -22,3 +22,14 @@ def test_config_repr(self) -> None:
             repr(config),
             "PDAConfiguration('q0', 'ab', PDAStack(('a', 'b')))",  # noqa
         )
+
+    def test_config_equality(self) -> None:
+        """Should only be equal for equal configurations."""
+        config = PDAConfiguration("q0", "ab", PDAStack(["a", "b"]))
+
+        self.assertEqual(config, config)
+        self.assertEqual(config, PDAConfiguration("q0", "ab", PDAStack(["a", "b"])))
+
+        self.assertNotEqual(config, "")
+        self.assertNotEqual(config, PDAConfiguration("q1", "ab", PDAStack(["a", "b"])))
+        self.assertNotEqual(config, PDAConfiguration("q0", "ab", PDAStack(["b", "b"])))