Remove additional eth transfer (#1544)

pull/1545/head
Nikhil Parasaram 3 years ago committed by GitHub
parent 651e0ac827
commit 728d8a2dfc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 7
      mythril/laser/ethereum/svm.py

@ -360,13 +360,6 @@ class LaserEVM:
start_signal.global_state.world_state.constraints 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) log.debug("Starting new transaction %s", start_signal.transaction)
return [new_global_state], op_code return [new_global_state], op_code

Loading…
Cancel
Save