[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 1/2] cex: fix traces
From: |
Akim Demaille |
Subject: |
[PATCH 1/2] cex: fix traces |
Date: |
Sat, 16 Jan 2021 15:22:16 +0100 |
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(-)
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 50a1e1be..b0e6ebcd 100644
--- a/src/state-item.c
+++ b/src/state-item.c
@@ -505,9 +505,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);
@@ -530,6 +531,7 @@ state_items_report (FILE *out)
}
}
}
+ putc ('\n', out);
}
}
fprintf (out, "FIRSTS\n");
@@ -541,7 +543,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
--
2.30.0
- [PATCH 1/2] cex: fix traces,
Akim Demaille <=