diff options
Diffstat (limited to 'src/schedule.c')
| -rw-r--r-- | src/schedule.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/schedule.c b/src/schedule.c index 407c6e0..2a7a7c4 100644 --- a/src/schedule.c +++ b/src/schedule.c @@ -63,6 +63,10 @@ void schedule_add(struct term *term) if (!term_is_beta_redex(term)) return; + fprintf(stderr, "added "); + term_print(term); + fprintf(stderr, "\n"); + set_pri(term, calculate_priority(term)); pqueue_insert(queue, term); } @@ -78,7 +82,7 @@ void schedule_remove(struct term *term) void schedule(void) { - while (pqueue_size(queue) > 1) { + while (pqueue_size(queue)) { fprintf(stderr, "queue size: %zu\n", pqueue_size(queue)); map_dump(map_all_terms()); |