From 1ca9b05f504ed968eb922b12cddb0a8217d6fc50 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 4 Apr 2013 01:38:40 -0700 Subject: [PATCH] model: deadlock: print the culprit thread, when known --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model.cc b/model.cc index cbd5617..569dd47 100644 --- a/model.cc +++ b/model.cc @@ -3128,7 +3128,7 @@ void ModelChecker::run() if (!thr->is_model_thread() && !thr->is_complete() && !thr->get_pending()) { switch_from_master(thr); if (thr->is_waiting_on(thr)) - assert_bug("Deadlock detected"); + assert_bug("Deadlock detected (thread %u)", i); } } -- 2.34.1