From c6076305727aaaf34f4192d797cc1d0317620d1c Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Wed, 1 Aug 2018 23:00:16 -0700 Subject: [PATCH] on program exit, call pass test --- 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 b2282f0..8f0a356 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)) - mc.report() + super(DeepManticore, mc).pass_test() #super(DeepManticore, mc).abandon_test() else: L.error("State {} terminated due to internal error: {}".format(state_id,