Traceback (most recent call last):


 "<stdin>", line 1, in <module>


 "/usr/local/lib/python3.6/dist-packages/dns/rdataset.py", line 324, in processing_order

return self[0]._processing_order(iter(self))


 "/usr/local/lib/python3.6/dist-packages/dns/rdtypes/svcbbase.py", line 543, in _processing_order

return dns.rdtypes.util.priority_processing_order(iterable)
AttributeError: module 'dns.rdtypes' has no attribute 'util'

Traceback (most recent call last):


 "/home/g/.local/lib/python2.7/site-packages/manticore-0.1.6-py2.7.egg/manticore/core/executor.py", line 463, in run

if not current_state.execute():


 "/home/g/.local/lib/python2.7/site-packages/manticore-0.1.6-py2.7.egg/manticore/core/state.py", line 126, in execute

result = self._platform.execute()


 "/home/g/.local/lib/python2.7/site-packages/manticore-0.1.6-py2.7.egg/manticore/platforms/evm.py", line 2112, in execute

self.current.execute()


 "/home/g/.local/lib/python2.7/site-packages/manticore-0.1.6-py2.7.egg/manticore/platforms/evm.py", line 1302, in execute

result = implementation(*arguments)


 "/home/g/.local/lib/python2.7/site-packages/manticore-0.1.6-py2.7.egg/manticore/platforms/evm.py", line 1636, in NUMBER

return self.header['number']
AttributeError: 'EVM' object has no attribute 'header'
