Commit 72f7c954 authored by POTTIER Francois's avatar POTTIER Francois

Added the known suffix of the stack as part of the auto-comments. Often redundant, it seems?

parent 649a9346
......@@ -255,6 +255,12 @@ let print_messages_auto (nt, sentence, otarget) : unit =
could sometimes be helpful, but is usually intolerably verbose. *)
(Lr0.print "## " (Lr1.state s'))
;
Printf.printf
"## The known suffix of the stack is as follows:\n\
## %s\n\
##\n"
(Invariant.print (Invariant.stack s'))
;
if spurious <> [] then begin
Printf.printf
"## WARNING: This example involves spurious reductions.\n\
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment