Remove redudant use of solver

6 years ago · 7d7536e3eb
parent bc925328d4
commit 7d7536e3eb
1 changed files with 0 additions and 10 deletions
--- a/mythril/analysis/modules/ether_thief.py
+++ b/mythril/analysis/modules/ether_thief.py
@ -67,16 +67,6 @@ class EtherThief(DetectionModule):

        try:

-            model = solver.get_model(
-                node.constraints
-                + not_creator_constraints
-                + [
-                    UGT(call_value, eth_sent_total),
-                    state.environment.sender == ARBITRARY_SENDER_ADDRESS,
-                    target == state.environment.sender,
-                ]
-            )
-
            transaction_sequence = solver.get_transaction_sequence(
                state,
                node.constraints