projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fixup more id vs. thread_id_t
[model-checker.git]
/
schedule.cc
diff --git
a/schedule.cc
b/schedule.cc
index b1b41c3d88d579a766d5cd45ccf26815bc551a1e..88200a81cc650617044b4b0449477fbed1afb4e9 100644
(file)
--- a/
schedule.cc
+++ b/
schedule.cc
@@
-36,7
+36,7
@@
void Scheduler::set_enabled(Thread *t, bool enabled_status) {
*/
void Scheduler::add_thread(Thread *t)
{
*/
void Scheduler::add_thread(Thread *t)
{
- DEBUG("thread %d\n",
t->get_id(
));
+ DEBUG("thread %d\n",
id_to_int(t->get_id()
));
set_enabled(t, true);
}
set_enabled(t, true);
}
@@
-119,7
+119,7
@@
Thread * Scheduler::get_current_thread() const
void Scheduler::print() const
{
if (current)
void Scheduler::print() const
{
if (current)
- DEBUG("Current thread: %d\n",
current->get_id(
));
+ DEBUG("Current thread: %d\n",
id_to_int(current->get_id()
));
else
DEBUG("No current thread\n");
}
else
DEBUG("No current thread\n");
}