Traceback (most recent call last):


 "/home/ehennenfent/manticore/manticore/core/worker.py", line 121, in run

current_state.execute()


 "/home/ehennenfent/manticore/manticore/native/state.py", line 192, in execute

result = self._platform.execute()


 "/home/ehennenfent/manticore/manticore/platforms/linux.py", line 2910, in execute

self.current.execute()


 "/home/ehennenfent/manticore/manticore/native/cpu/abstractcpu.py", line 1017, in execute

implementation(*insn.operands)


 "/home/ehennenfent/manticore/manticore/native/cpu/abstractcpu.py", line 1160, in new_method

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


 "/home/ehennenfent/manticore/manticore/native/cpu/x86.py", line 5516, in MOVZX

op0.write(Operators.ZEXTEND(op1.read(), op0.size))


 "/home/ehennenfent/manticore/manticore/native/cpu/x86.py", line 778, in read

value = cpu.read_int(self.address(), self.size)


 "/home/ehennenfent/manticore/manticore/native/cpu/abstractcpu.py", line 733, in read_int

data = self._memory.read(where, size // 8, force)


 "/home/ehennenfent/manticore/manticore/native/memory.py", line 1195, in read

solutions = self._try_get_solutions(address, size, "r", force=force)


 "/home/ehennenfent/manticore/manticore/native/memory.py", line 1338, in _try_get_solutions

solutions = solver.get_all_values(


 "/home/ehennenfent/manticore/manticore/core/smtlib/solver.py", line 534, in get_all_values

while self._is_sat():


 "/home/ehennenfent/manticore/manticore/core/smtlib/solver.py", line 338, in _is_sat

raise SolverError(status)
manticore.exceptions.SolverError: (error "line 7043 column 42: unknown constant a_518854")

Traceback (most recent call last):


 "/usr/local/lib/python3.5/urllib/request.py", line 1240, in do_open

h.request(req.get_method(), req.selector, req.data, headers)


 "/usr/local/lib/python3.5/http/client.py", line 1083, in request

self._send_request(method, url, body, headers)


 "/usr/local/lib/python3.5/http/client.py", line 1128, in _send_request

self.endheaders(body)


 "/usr/local/lib/python3.5/http/client.py", line 1079, in endheaders

self._send_output(message_body)


 "/usr/local/lib/python3.5/http/client.py", line 911, in _send_output

self.send(msg)


 "/usr/local/lib/python3.5/http/client.py", line 854, in send

self.connect()


 "/usr/local/lib/python3.5/http/client.py", line 1237, in connect

server_hostname=server_hostname)


 "/usr/local/lib/python3.5/ssl.py", line 376, in wrap_socket

_context=self)


 "/usr/local/lib/python3.5/ssl.py", line 747, in __init__

self.do_handshake()


 "/usr/local/lib/python3.5/ssl.py", line 983, in do_handshake

self._sslobj.do_handshake()


 "/usr/local/lib/python3.5/ssl.py", line 628, in do_handshake

self._sslobj.do_handshake()
ssl.SSLError: [SSL: UNKNOWN_PROTOCOL] unknown protocol (_ssl.c:646)`
