From 556ba2c02640e1213073b55d0f35343fa52c71f6 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Wed, 1 Aug 2018 22:20:21 -0700 Subject: [PATCH] report --- bin/deepstate/main_manticore.py | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py index 666ebd4..b2282f0 100644 --- a/bin/deepstate/main_manticore.py +++ b/bin/deepstate/main_manticore.py @@ -295,6 +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).abandon_test() else: L.error("State {} terminated due to internal error: {}".format(state_id,