For instance, printing from w/in gdb
break;
}
if (curr_thread_index == old_curr_thread) {
break;
}
if (curr_thread_index == old_curr_thread) {
+ if (DBG_ENABLED())
+ print();
+ if (DBG_ENABLED())
+ print();
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()));
- DEBUG("No current thread\n");
+ model_print("No current thread\n");