Assert array dynamic or static

crytic · Apr 21, 2023 · 063418d · 063418d
1 parent 73f5ad3
commit 063418d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tests/unit/slithir/test_ssa_generation.py b/tests/unit/slithir/test_ssa_generation.py
@@ -1068,10 +1068,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"