diff --git a/manticore/core/worker.py b/manticore/core/worker.py
index 5da1fa436..638b30d5c 100644
--- a/manticore/core/worker.py
+++ b/manticore/core/worker.py
@@ -188,6 +188,9 @@ def run(self, *args):
                         m._kill_state(current_state.id)
                         m._publish("did_kill_state", current_state, exc)
                         current_state = None
+                    # Kill Manticore if _any_ state encounters unrecoverable
+                    # exception/assertion
+                    m.kill()
                     break
 
             # Getting out.