From c65901a41844713b846938a5c487733e01affb51 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Wed, 1 Aug 2018 13:40:58 -0700 Subject: [PATCH] don't abandon --- bin/deepstate/main_manticore.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py index bc24dd9..666ebd4 100644 --- a/bin/deepstate/main_manticore.py +++ b/bin/deepstate/main_manticore.py @@ -295,7 +295,7 @@ 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).abandon_test() else: L.error("State {} terminated due to internal error: {}".format(state_id, reason))