Assert array dynamic or static

crytic · Apr 2, 2023 · 4768a08 · 4768a08
1 parent b3a24f9
commit 4768a08
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tests/test_ssa_generation.py b/tests/test_ssa_generation.py
@@ -1097,10 +1097,13 @@ def test_issue_1776():
         new_op = operations[0]
         lvalue = new_op.lvalue
         lvalue_type = lvalue.type
+        assert lvalue_type.is_dynamic
         assert isinstance(lvalue_type, ArrayType)
         lvalue_type1 = lvalue_type.type
+        assert not lvalue_type1.is_dynamic
         assert isinstance(lvalue_type1, ArrayType)
         assert lvalue_type1.length_value.value == "10"
         lvalue_type2 = lvalue_type1.type
+        assert not lvalue_type2.is_dynamic
         assert isinstance(lvalue_type2, ArrayType)
         assert lvalue_type2.length_value.value == "5"