From 1ca9b05f504ed968eb922b12cddb0a8217d6fc50 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
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