Fix a multicontract bug

pull/1377/head
Nikhil Parasaram 5 years ago
parent 9e1403ab95
commit c394fbd976
  1. 2
      mythril/interfaces/cli.py
  2. 8
      mythril/laser/ethereum/call.py

@ -563,7 +563,7 @@ def set_config(args: Namespace):
):
config.set_api_from_config_path()
if args.__dict__.get("address", None):
if args.__dict__.get("rpc", None):
# Establish RPC connection if necessary
config.set_api_rpc(rpc=args.rpc, rpctls=args.rpctls)
if args.command in ("hash-to-address", "leveldb-search"):

@ -178,14 +178,6 @@ def get_call_data(
else memory_size
),
)
uses_entire_calldata = simplify(
memory_size == global_state.environment.calldata.calldatasize
)
if is_true(uses_entire_calldata):
return global_state.environment.calldata
try:
calldata_from_mem = state.memory[
util.get_concrete_int(memory_start) : util.get_concrete_int(

Loading…
Cancel
Save