Traceback (most recent call last):


 "/home/elelay/devel/gpodder-toga/VENV/lib/python3.8/site-packages/toga_gtk/app.py", line 21, in _handler

cmd.action(cmd)


 "/home/elelay/devel/gpodder-toga/VENV/lib/python3.8/site-packages/toga/handlers.py", line 55, in _handler

result = handler(interface, *args, **kwargs)
TypeError: <lambda>() missing 1 required positional argument: 'data'

Traceback (most recent call last):


 "/usr/local/lib/python3.7/site-packages/manticore/core/executor.py", line 488, in run

self.generate_testcase(current_state, str(e))


 "/usr/local/lib/python3.7/site-packages/manticore/core/executor.py", line 358, in generate_testcase

self._publish('will_generate_testcase', state, 'test', message)


 "/usr/local/lib/python3.7/site-packages/manticore/utils/event.py", line 117, in _publish

self._publish_impl(_name, *args, **kwargs)


 "/usr/local/lib/python3.7/site-packages/manticore/utils/event.py", line 134, in _publish_impl

sink._publish_impl(_name, *args, **kwargs)


 "/usr/local/lib/python3.7/site-packages/manticore/utils/event.py", line 125, in _publish_impl

callback(robj(), *args, **kwargs)


 "/usr/local/lib/python3.7/site-packages/manticore/manticore.py", line 546, in _generate_testcase_callback

testcase_id = self._output.save_testcase(state, name, message)


 "/usr/local/lib/python3.7/site-packages/manticore/core/workspace.py", line 491, in save_testcase

self.save_summary(state, message)


 "/usr/local/lib/python3.7/site-packages/manticore/core/workspace.py", line 528, in save_summary

summary.write(f"CPU:\n{cpu}")


 "/usr/local/lib/python3.7/site-packages/manticore/core/cpu/abstractcpu.py", line 925, in __str__

result += '\n'.join(self.render_registers())


 "/usr/local/lib/python3.7/site-packages/manticore/core/cpu/abstractcpu.py", line 901, in render_register

aux = f"{reg_name:3s}: {value:16s}"
TypeError: unsupported format string passed to BitVecOr.__format__
