Traceback (most recent call last):


 "./test.py", line 43, in <module>

encode_frames(pkt,ovstream,oastream)


 "./test.py", line 26, in encode_frames

ovstream.encode(frames)


 "av/video/stream.pyx", line 86, in av.video.stream.VideoStream.encode (src/av/video/stream.c:2991)


 "av/video/stream.pyx", line 147, in av.video.stream.VideoStream.encode (src/av/video/stream.c:2681)


 "av/utils.pyx", line 78, in av.utils.err_check (src/av/utils.c:1749)
av.AVError: [Errno 1] Operation not permitted

Traceback (most recent call last):


 "/home/user/.virtualenvs/manticore/site-packages/manticore/core/executor.py", line 347, in run

if not current_state.execute():


 "/home/user/.virtualenvs/manticore/site-packages/manticore/core/state.py", line 123, in execute

result = self.platform.execute()


 "/home/user/.virtualenvs/manticore/site-packages/manticore/platforms/linux.py", line 1810, in execute

self.syscall()


 "/home/user/.virtualenvs/manticore/site-packages/manticore/platforms/linux.py", line 1655, in syscall

return self._syscall_abi.invoke(implementation)


 "/home/user/.virtualenvs/manticore/site-packages/manticore/core/cpu/abstractcpu.py", line 312, in invoke

result = model(*argument_tuple)


 "/home/user/.virtualenvs/manticore/site-packages/manticore/platforms/linux.py", line 1020, in sys_lseek

signed_offset = ctypes.c_int64(offset).value


 "/home/user/opt/mechaphish/pypy/pypy2-v5.6.0-linux64/lib_pypy/_ctypes/primitive.py", line 319, in __init__

self.value = value


 "/home/user/opt/mechaphish/pypy/pypy2-v5.6.0-linux64/lib_pypy/_ctypes/primitive.py", line 330, in _setvalue

self._buffer[0] = value
TypeError: unsupported operand type for long(): 'BitVecSub'
