projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
promise: refactor has_failed()
[model-checker.git]
/
promise.cc
diff --git
a/promise.cc
b/promise.cc
index 7f6f5e7b1823bb5dd3285196ba57f4ee172b0f37..016b809aefaacf0d6e38e0674e60b89503bb3d31 100644
(file)
--- a/
promise.cc
+++ b/
promise.cc
@@
-44,12
+44,10
@@
bool Promise::thread_is_eliminated(thread_id_t tid) const
*/
bool Promise::has_failed() const
{
*/
bool Promise::has_failed() const
{
- unsigned int size = eliminated_thread.size();
- int promise_tid = id_to_int(read->get_tid());
for (unsigned int i = 1; i < model->get_num_threads(); i++) {
for (unsigned int i = 1; i < model->get_num_threads(); i++) {
- if ((i >= size || !eliminated_thread[i]) && ((int)i != promise_tid) && model->is_enabled(int_to_id(i))) {
+ thread_id_t tid = int_to_id(i);
+ if (!thread_is_eliminated(tid) && model->is_enabled(tid))
return false;
return false;
- }
}
return true;
}
}
return true;
}