diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-04-14 18:08:39 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-04-14 18:27:17 +0200 |
commit | 9ad7524659a340d3c8968eaa6c7ebe7e29d46031 (patch) | |
tree | 2427d5837c9acd70764b15623b7c2f6569ff417f /src/getargs.c | |
parent | 4ec413da32760defe1bf382c048d1d2f67e0b58a (diff) | |
download | bison-9ad7524659a340d3c8968eaa6c7ebe7e29d46031.tar.gz |
traces: make closure() less verbose
* src/getargs.h, src/getargs.c (trace_closure): New.
* src/closure.c (closure): Use it.
Diffstat (limited to 'src/getargs.c')
-rw-r--r-- | src/getargs.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/getargs.c b/src/getargs.c index 9cd07014..8673d41c 100644 --- a/src/getargs.c +++ b/src/getargs.c @@ -188,6 +188,7 @@ static const char * const trace_args[] = "parse - grammar parser traces", "automaton - construction of the automaton", "bitsets - use of bitsets", + "closure - input/output of closure", "grammar - reading, reducing the grammar", "resource - memory consumption (where available)", "sets - grammar sets: firsts, nullable etc.", @@ -208,6 +209,7 @@ static const int trace_types[] = trace_parse, trace_automaton, trace_bitsets, + trace_closure, trace_grammar, trace_resource, trace_sets, |