From 38bfd89368f93e970ffc01df6358f814d225bff4 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Mon, 29 Mar 2021 17:13:38 +0200 Subject: [PATCH] invert condition --- mythril/laser/ethereum/instructions.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 99a605d5..6e9796c5 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -651,7 +651,7 @@ class Instruction: if s0 <= 31: testbit = s0 * 8 + 7 - sign_bit_set = simplify((s1 & (1 << testbit)) == 1) + sign_bit_set = simplify(Not((s1 & (1 << testbit)) == 0)) if is_true(sign_bit_set): mstate.stack.append(s1 | (TT256 - (1 << testbit))) elif is_false(sign_bit_set):