From 063418da60658f8595a058cb972e0d99f795029e Mon Sep 17 00:00:00 2001 From: William Aaron Cheung Date: Sun, 2 Apr 2023 18:25:16 -0400 Subject: [PATCH] Assert array dynamic or static --- tests/unit/slithir/test_ssa_generation.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tests/unit/slithir/test_ssa_generation.py b/tests/unit/slithir/test_ssa_generation.py index 6247707409..dc5113617e 100644 --- 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"