Traceback (most recent call last):


 "script.py", line 12, in <module>

crash = rex.Crash(tt, crash=solution[1])


 "/home/angr/.virtualenvs/angr/lib/python3.6/site-packages/rex/crash.py", line 119, in __init__

self._work(pov_file, format_infos)


 "/home/angr/.virtualenvs/angr/lib/python3.6/site-packages/rex/crash.py", line 565, in _work

format_infos=format_infos,


 "/home/angr/.virtualenvs/angr/lib/python3.6/site-packages/rex/crash.py", line 647, in _trace

self.state = simgr.crashed[0]
IndexError: list index out of range

Traceback (most recent call last):

 "/var/jenkins/workspace/sqlalchemy-default-sqlite-pypy-2.7/.tox/full/site-packages/sqlalchemy/pool.py", line 631, in _finalize_fairy
fairy._reset(pool)

 "/var/jenkins/workspace/sqlalchemy-default-sqlite-pypy-2.7/.tox/full/site-packages/sqlalchemy/pool.py", line 765, in _reset
pool._dialect.do_rollback(self)

 "/var/jenkins/workspace/sqlalchemy-default-sqlite-pypy-2.7/.tox/full/site-packages/sqlalchemy/engine/default.py", line 412, in do_rollback
dbapi_connection.rollback()

 "/opt/pypy-python2.7/site-packages/psycopg2cffi/_impl/connection.py", line 42, in check_closed_
raise exceptions.InterfaceError('connection already closed')InterfaceError: connection already closed