From: Brian Norris <banorris@uci.edu>
Date: Thu, 4 Apr 2013 08:38:40 +0000 (-0700)
Subject: model: deadlock: print the culprit thread, when known
X-Git-Tag: oopsla2013~96
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=1ca9b05f504ed968eb922b12cddb0a8217d6fc50

model: deadlock: print the culprit thread, when known
---

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);
 				}
 			}