INFO:deepstate:Input: 00 00 00 00 00 00 00 11
.INFO:deepstate:Running Vector_DoubleReversal from /home/travis/build/trailofbits/deepstate/examples/Lists.cpp(24)
INFO:deepstate:Passed: Vector_DoubleReversal
INFO:deepstate:Input: 00 00 00 00 00 00 00 07
INFO:deepstate:Saving input to out/Lists.cpp/Vector_DoubleReversal/e3e13013b74d872953e2a1225c2b5cd0.pass
2018-07-23 16:15:47,531: [9659] m.c.executor:ERROR: Exception: Max number of different solutions hit
Traceback (most recent call last):
File "/home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/manticore-0.1.10-py2.7.egg/manticore/core/executor.py", line 475, in run
current_state = self.fork(current_state, e.expression, e.policy, e.setstate)
File "/home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/manticore-0.1.10-py2.7.egg/manticore/core/executor.py", line 382, in fork
solutions = state.concretize(expression, policy)
File "/home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/manticore-0.1.10-py2.7.egg/manticore/core/state.py", line 292, in concretize
silent=False)
File "/home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/manticore-0.1.10-py2.7.egg/manticore/core/smtlib/solver.py", line 379, in get_all_values
raise TooManySolutions(result)
TooManySolutions: Max number of different solutions hit
