Traceback (most recent call last):


 "/home/hyu/miniconda3/envs/fmpy/lib/python3.8/site-packages/aio_pika/tools.py", line 166, in __call__

cb(self.__sender(), *args, **kwargs)
TypeError: on_close() takes from 1 to 2 positional arguments but 3 were given

Traceback (most recent call last):


 "/usr/local/lib/python3.6/dist-packages/mythril-0.20.0-py3.6.egg/mythril/laser/ethereum/state/memory.py", line 48, in get_word_at

bytes([util.get_concrete_int(b) for b in self[index : index + 32]]),


 "/usr/local/lib/python3.6/dist-packages/mythril-0.20.0-py3.6.egg/mythril/laser/ethereum/state/memory.py", line 48, in <listcomp>

bytes([util.get_concrete_int(b) for b in self[index : index + 32]]),


 "/usr/local/lib/python3.6/dist-packages/mythril-0.20.0-py3.6.egg/mythril/laser/ethereum/util.py", line 111, in get_concrete_int

raise TypeError("Got a symbolic BitVecRef")
TypeError: Got a symbolic BitVecRef
