Traceback (most recent call last):


 "/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/pip/_vendor/pkg_resources/__init__.py", line 3012, in _parsed_pkg_info

return self._pkg_info


 "/Library/Frameworks/Python.framework/Versions/3.8/lib/python3.8/site-packages/pip/_vendor/pkg_resources/__init__.py", line 2815, in __getattr__

raise AttributeError(attr)
AttributeError: _pkg_info

Traceback (most recent call last):


 "/usr/local/lib/python2.7/dist-packages/manticore/core/executor.py", line 466, in run

self.fork(current_state, e.expression, e.policy, e.setstate)


 "/usr/local/lib/python2.7/dist-packages/manticore/core/executor.py", line 379, in fork

solutions = state.concretize(expression, policy)


 "/usr/local/lib/python2.7/dist-packages/manticore/core/state.py", line 292, in concretize

silent=False)


 "/usr/local/lib/python2.7/dist-packages/manticore/core/smtlib/solver.py", line 346, in get_all_values

temp_cs.add(var==expression)


 "/usr/local/lib/python2.7/dist-packages/manticore/core/smtlib/constraints.py", line 51, in add

constraint = arithmetic_simplifier(constraint)


 "/usr/local/lib/python2.7/dist-packages/manticore/core/smtlib/visitors.py", line 472, in arithmetic_simplifier

simp.visit(expression, use_fixed_point=True)


 "/usr/local/lib/python2.7/dist-packages/manticore/core/smtlib/visitors.py", line 90, in visit

value = self._method(new_node, *operands)


 "/usr/local/lib/python2.7/dist-packages/manticore/core/smtlib/visitors.py", line 58, in _method

value = getattr(self, methodname)(expression, *args)


 "/usr/local/lib/python2.7/dist-packages/manticore/core/smtlib/visitors.py", line 316, in visit_Operation

if self._changed(expression, operands):


 "/usr/local/lib/python2.7/dist-packages/manticore/core/smtlib/visitors.py", line 310, in _changed

return any( operands[i] is not expression.operands[i] for i in range(arity))


 "/usr/local/lib/python2.7/dist-packages/manticore/core/smtlib/visitors.py", line 310, in <genexpr>

return any( operands[i] is not expression.operands[i] for i in range(arity))
AttributeError: 'BoolConstant' object has no attribute 'operands'
