Reformat files for black

pull/664/head
Nikhil Parasaram 6 years ago
parent 7e6bf2344a
commit b829b19bd7
  1. 4
      mythril/laser/ethereum/state.py
  2. 6
      mythril/laser/ethereum/util.py

@ -99,9 +99,7 @@ class Calldata:
if stop is None:
stop = self.calldatasize
current_index = (
start
if isinstance(start, BitVecRef)
else BitVecVal(start, 256)
start if isinstance(start, BitVecRef) else BitVecVal(start, 256)
)
dataparts = []
while simplify(current_index != stop):

@ -89,8 +89,10 @@ def get_concrete_int(item):
def concrete_int_from_bytes(_bytes, start_index):
_bytes = [_byte.as_long() if type(_byte) == BitVecNumRef else _byte for _byte in _bytes]
b = _bytes[start_index: start_index + 32]
_bytes = [
_byte.as_long() if type(_byte) == BitVecNumRef else _byte for _byte in _bytes
]
b = _bytes[start_index : start_index + 32]
val = int.from_bytes(b, byteorder="big")
return val

Loading…
Cancel
Save