Traceback (most recent call last):


 "solve.py", line 51, in <module>

m.finalize()


 "/home/ehennenfent/manticore/manticore/native/manticore.py", line 345, in finalize

super().finalize()


 "/home/ehennenfent/manticore/manticore/core/manticore.py", line 1174, in finalize

self.generate_testcase(state)


 "/home/ehennenfent/manticore/manticore/native/manticore.py", line 29, in generate_testcase

self._output.save_testcase(state, testcase, message)


 "/home/ehennenfent/manticore/manticore/core/workspace.py", line 608, in save_testcase

self.save_input_symbols(testcase, state)


 "/home/ehennenfent/manticore/manticore/core/workspace.py", line 663, in save_input_symbols

buf = state.solve_one(symbol)


 "/home/ehennenfent/manticore/manticore/core/state.py", line 452, in solve_one

return self.solve_one_n(expr, constrain=constrain)[0]


 "/home/ehennenfent/manticore/manticore/core/state.py", line 470, in solve_one_n

value = self._solver.get_value(self._constraints, expr)


 "/home/ehennenfent/manticore/manticore/core/state.py", line 135, in get_value

solved = self._solver.get_value(constraints, expression, *args, **kwargs)


 "/home/ehennenfent/manticore/manticore/core/smtlib/solver.py", line 619, in get_value

result.append(self.__getvalue_bv(var[i].name))


 "/home/ehennenfent/manticore/manticore/core/smtlib/solver.py", line 356, in __getvalue_bv

expr, value = m.group("expr"), m.group("value")
# type: ignore
AttributeError: 'NoneType' object has no attribute 'group'

Traceback (most recent call last):


 "{$my_working_path}/lib/python3.8/site-packages/telegram/ext/dispatcher.py", line 442, in process_update

handler.handle_update(update, self, check, context)


 "{$my_working_path}/lib/python3.8/site-packages/telegram/ext/handler.py", line 160, in handle_update

return self.callback(update, context)


 "{$my_working_path}/src/utils/auth.py", line 27, in __call__

return self.function(*args)


 "main.py", line 68, in queue_searches

context.job_queue.run_daily(search_over_time, options["time"], options["days"], context = job_args, name =
str(update.message.chat_id))


 "{$my_working_path}/lib/python3.8/site-packages/telegram/ext/jobqueue.py", line 439, in run_daily

j = self.scheduler.add_job(


 "{$my_working_path}/lib/python3.8/site-packages/apscheduler/schedulers/base.py", line 443, in add_job

self._real_add_job(job, jobstore, replace_existing)


 "{$my_working_path}/lib/python3.8/site-packages/apscheduler/schedulers/base.py", line 867, in _real_add_job

store.add_job(job)


 "{$my_working_path}/lib/python3.8/site-packages/apscheduler/jobstores/sqlalchemy.py", line 95, in add_job

'job_state': pickle.dumps(job.__getstate__(), self.pickle_protocol)
AttributeError: Can't pickle local object 'PoolManager.__init__.<locals>.<lambda>'
