Merge pull request #93 from trailofbits/fix_manticore_return

Fix manticore handler to save passing test when program exits normally

bin/deepstate/main_manticore.py

@@ -295,7 +295,8 @@ def done_test(_, state, state_id, reason):
     elif _is_program_exit(reason):
       L.info("State {} terminated due to program exit: {}".format(
         state_id, reason))
-      super(DeepManticore, mc).abandon_test()      
+      super(DeepManticore, mc).pass_test()
+      #super(DeepManticore, mc).abandon_test()      
     else:
       L.error("State {} terminated due to internal error: {}".format(state_id,
                                                                      reason))

bin/setup.py.in

@@ -30,7 +30,7 @@ setuptools.setup(
     author_email="peter@trailofbits.com",
     license="Apache-2.0",
     keywords="tdd testing symbolic execution",
-    install_requires=['angr', 'manticore'],
+    install_requires=['claripy==7.8.6.16','angr==7.8.7.1', 'manticore'],
     entry_points={
         'console_scripts': [
             'deepstate = deepstate.main_manticore:main',