From b106acfad947dd1d4b42f1fb0e998ce46c07cdad Mon Sep 17 00:00:00 2001 From: Simone Date: Wed, 21 Feb 2024 14:21:24 +0100 Subject: [PATCH] Check the folded length in __eq__ --- slither/core/solidity_types/array_type.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/slither/core/solidity_types/array_type.py b/slither/core/solidity_types/array_type.py index 9dfd3cf17b..04a458d685 100644 --- a/slither/core/solidity_types/array_type.py +++ b/slither/core/solidity_types/array_type.py @@ -74,7 +74,7 @@ def __str__(self) -> str: def __eq__(self, other: Any) -> bool: if not isinstance(other, ArrayType): return False - return self._type == other.type and self.length == other.length + return self._type == other.type and self._length_value == other.length_value def __hash__(self) -> int: return hash(str(self))