Use extra isinstance() check due to that stupid black

5 years ago · f12a44d3c5
parent ff7d5577f0
commit f12a44d3c5
1 changed files with 6 additions and 4 deletions
--- a/mythril/laser/ethereum/state/account.py
+++ b/mythril/laser/ethereum/state/account.py
@ -173,12 +173,14 @@ class Storage:

    @staticmethod
    def _array_condition(key: BitVec):
-        # type ignored as it causes runtime performance overhead to cast() everywhere
+
        return (
-            isinstance(key, BitVecFunc) is False
+            not isinstance(key, BitVecFunc)
            or (
-                key.func_name == "keccak256" and len(key.nested_functions) <= 1
-            )  # type: ignore
+                isinstance(key, BitVecFunc)
+                and key.func_name == "keccak256"
+                and len(key.nested_functions) <= 1
+            )
            or key.symbolic is False
        )