projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
schedule: allow Schedule::print() even in non-DEBUG build
[model-checker.git]
/
schedule.cc
diff --git
a/schedule.cc
b/schedule.cc
index 444e1a82982535339f241d5eb203fddf1d00a15a..602cdb75352430b2efbd58526bf8de779c0b1c6f 100644
(file)
--- a/
schedule.cc
+++ b/
schedule.cc
@@
-184,7
+184,8
@@
Thread * Scheduler::next_thread(Thread *t)
break;
}
if (curr_thread_index == old_curr_thread) {
break;
}
if (curr_thread_index == old_curr_thread) {
- print();
+ if (DBG_ENABLED())
+ print();
return NULL;
}
}
return NULL;
}
}
@@
-196,7
+197,8
@@
Thread * Scheduler::next_thread(Thread *t)
}
current = t;
}
current = t;
- print();
+ if (DBG_ENABLED())
+ print();
return t;
}
return t;
}
@@
-216,7
+218,7
@@
Thread * Scheduler::get_current_thread() const
void Scheduler::print() const
{
if (current)
void Scheduler::print() const
{
if (current)
-
DEBUG
("Current thread: %d\n", id_to_int(current->get_id()));
+
model_print
("Current thread: %d\n", id_to_int(current->get_id()));
else
else
-
DEBUG
("No current thread\n");
+
model_print
("No current thread\n");
}
}