From 728d8a2dfc8f0ae753052aad076745c9af6f01f2 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Sat, 6 Nov 2021 05:55:25 +0000 Subject: [PATCH] Remove additional eth transfer (#1544) --- mythril/laser/ethereum/svm.py | 7 ------- 1 file changed, 7 deletions(-) diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py index 2cb6c3fc..917f123c 100644 --- a/mythril/laser/ethereum/svm.py +++ b/mythril/laser/ethereum/svm.py @@ -360,13 +360,6 @@ class LaserEVM: start_signal.global_state.world_state.constraints ) - transfer_ether( - new_global_state, - start_signal.transaction.caller, - start_signal.transaction.callee_account.address, - start_signal.transaction.call_value, - ) - log.debug("Starting new transaction %s", start_signal.transaction) return [new_global_state], op_code