From 2f554e62604ff9e5944f5d56842132c74697b70c Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sat, 16 Jan 2021 14:37:05 +0100 Subject: cex: fix traces: add missing end-of-lines In 430ca0fc632f5e8072fe468b8a99c640985f6926, I completely forgot that `puts` adds a `\n`. * src/lssi.c, src/state-item.c: Restore missing end-of-lines in the output. --- src/lssi.c | 4 ++-- src/state-item.c | 6 ++++-- 2 files changed, 6 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/lssi.c b/src/lssi.c index 8c26ade0..44dd819b 100644 --- a/src/lssi.c +++ b/src/lssi.c @@ -111,7 +111,7 @@ lssi_print (lssi *l) symbol_number sin; BITSET_FOR_EACH (biter, l->lookahead, sin, 0) fprintf (out, "%s, \n", symbols[sin]->tag); - fprintf (out, "}"); + fprintf (out, "}\n"); } } #endif @@ -253,7 +253,7 @@ shortest_path_from_start (state_item_number target, symbol_number next_sym) if (trace_flag & trace_cex) { - fputs ("REDUCE ITEM PATH:", stderr); + fputs ("REDUCE ITEM PATH:\n", stderr); gl_list_iterator_t it = gl_list_iterator (res); const void *sip; while (gl_list_iterator_next (&it, &sip, NULL)) diff --git a/src/state-item.c b/src/state-item.c index 5080a4c8..5ca9795a 100644 --- a/src/state-item.c +++ b/src/state-item.c @@ -499,9 +499,10 @@ state_items_report (FILE *out) if (SI_DISABLED (j)) { item_print (si->item, NULL, out); - fputs (" DISABLED", out); + fputs (" DISABLED\n", out); continue; } + putc ('\n', out); if (si->trans >= 0) { fputs (" -> ", out); @@ -524,6 +525,7 @@ state_items_report (FILE *out) } } } + putc ('\n', out); } } fprintf (out, "FIRSTS\n"); @@ -535,7 +537,7 @@ state_items_report (FILE *out) BITSET_FOR_EACH (iter, FIRSTS (i), j, 0) fprintf (out, " %s\n", symbols[j]->tag); } - fputc ('\n', out); + fputs ("\n\n", out); } void -- cgit v1.2.1