Commit 9b596bd1 authored by POTTIER Francois's avatar POTTIER Francois

Clarify the documentation of --dump and --dump-resolved.

parent 1a1dc5e0
Pipeline #188918 passed with stages
in 2 minutes and 56 seconds
......@@ -156,15 +156,16 @@ validation by Coq may take time.
\docswitch{\odepend} See \sref{sec:build}.
\docswitch{\odump} This switch causes a description of the automaton
to be written to the file \nt{basename}\automaton. This description
is written \emph{before} conflicts have been resolved (\sref{sec:conflicts})
and extra reductions have been introduced (\sref{sec:onerrorreduce}).
\docswitch{\odump} This switch causes a description of the automaton to be
written to the file \nt{basename}\automaton. This description is written after
benign conflicts have been resolved, before severe conflicts are resolved
(\sref{sec:conflicts}), and before extra reductions are introduced
(\sref{sec:onerrorreduce}).
\docswitch{\odumpresolved} This command line switch causes a description of
the automaton to be written to the file \nt{basename}\automatonresolved. This
description is written \emph{after} conflicts have been resolved
(\sref{sec:conflicts}) and extra reductions have been introduced
description is written after all conflicts have been resolved
(\sref{sec:conflicts}) and after extra reductions have been introduced
(\sref{sec:onerrorreduce}).
\docswitch{\oechoerrors \nt{filename}} This switch causes \menhir to
......
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