Traceback (most recent call last):


 "/home/trailofbits/workspace/manticore/manticore/core/executor.py", line 456, in run

if not current_state.execute():


 "/home/trailofbits/workspace/manticore/manticore/core/state.py", line 126, in execute

result = self._platform.execute()


 "/home/trailofbits/workspace/manticore/manticore/platforms/linux.py", line 2058, in execute

self.current.execute()


 "/home/trailofbits/workspace/manticore/manticore/core/cpu/abstractcpu.py", line 759, in execute

getattr(self, name)(*insn.operands)


 "/home/trailofbits/workspace/manticore/manticore/core/cpu/abstractcpu.py", line 849, in new_method

return old_method(cpu, *args, **kw_args)


 "/home/trailofbits/workspace/manticore/manticore/core/cpu/arm.py", line 51, in instruction_implementation

ret = body(cpu, *args, **kwargs)
TypeError: SUB() takes exactly 4 arguments (3 given)

Traceback (most recent call last):


 "/usr/lib/python3.6/site-packages/salt/state.py", line 2154, in call

*cdata["args"], **cdata["kwargs"]


 "/usr/lib/python3.6/site-packages/salt/loader.py", line 2087, in wrapper

return f(*args, **kwargs)


 "/var/cache/salt/minion/extmods/states/pip_state.py", line 867, in installed

**kwargs


 "/var/cache/salt/minion/extmods/states/pip_state.py", line 330, in _check_if_installed

desired_version = available_versions[-1]
TypeError: 'NoneType' object is not subscriptable
