report

2018-08-01 22:20:21 -07:00
parent c65901a418
commit 556ba2c026
1 changed files with 1 additions and 0 deletions
@@ -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,