projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
dab4897
)
model: deadlock: print the culprit thread, when known
author
Brian Norris
<banorris@uci.edu>
Thu, 4 Apr 2013 08:38:40 +0000
(
01:38
-0700)
committer
Brian Norris
<banorris@uci.edu>
Fri, 5 Apr 2013 17:29:04 +0000
(10:29 -0700)
model.cc
patch
|
blob
|
history
diff --git
a/model.cc
b/model.cc
index cbd5617d8238f9326720fbcfb7dfb9c08864b6e3..569dd472bab4aeb908e0e1df60d50540cf607d87 100644
(file)
--- 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
);
}
}