Add documentation

extract_concat_invariance
Nikhil 5 years ago
parent cfdffffaa0
commit 37e3b62086
  1. 7
      mythril/laser/smt/bitvec_helper.py

@ -195,6 +195,13 @@ def Concat(*args: Union[BitVec, List[BitVec]]) -> BitVec:
def extract_helper(high: int, low: int, bv: BitVec) -> BitVec: def extract_helper(high: int, low: int, bv: BitVec) -> BitVec:
"""
Extracts from the list of bitvecs which were supposedly concatenated.
:param high:
:param low:
:param bv:
:return:
"""
count = 0 count = 0
val = None val = None
for small_bv in bv.concat_args[::-1]: for small_bv in bv.concat_args[::-1]:

Loading…
Cancel
Save