diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index bc24dd9..8f0a356 100644
--- a/bin/deepstate/main_manticore.py
+++ b/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))
diff --git a/bin/setup.py.in b/bin/setup.py.in
index 6c217b4..f1eca5b 100644
--- a/bin/setup.py.in
+++ b/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',