Add unit test for ada module

Ref. #500
AdaCore · Dec 3, 2020 · 8c014e0 · 8c014e0
1 parent 48f98f2
commit 8c014e0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tests/unit/ada_test.py b/tests/unit/ada_test.py
@@ -98,6 +98,11 @@ def test_attribute_expression_str() -> None:
     assert str(ada.Val("X", ada.Number(1))) == "X'Val (1)"
 
 
+def test_selected_str() -> None:
+    assert str(ada.Selected(ada.Variable("X"), "Y")) == "X.Y"
+    assert str(-ada.Selected(ada.Variable("X"), "Y")) == "(-X.Y)"
+
+
 def test_indexed_str() -> None:
     assert str(ada.Indexed(ada.Variable("X"), ada.Variable("Y"))) == "X (Y)"
     assert str(-ada.Indexed(ada.Variable("X"), ada.Variable("Y"))) == "(-X (Y))"