diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-05-22 20:35:13 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-05-22 20:35:13 +0200 |
commit | 339d11badff940924b21a2f733632fb3bce4062e (patch) | |
tree | e5703a6033a810481398d76d3ac45453763f87c5 /src/getargs.h | |
parent | 99260caef92a5322628c0f9ebef905d4f1139d69 (diff) | |
parent | f80890c4bb8e02a47e115dc68797cd33fcc97bef (diff) | |
download | bison-339d11badff940924b21a2f733632fb3bce4062e.tar.gz |
Merge maint into master
* upstream/maint:
fix generated comments
traces: provide a means to get short m4 traces
traces: show the full m4 invocation
Diffstat (limited to 'src/getargs.h')
-rw-r--r-- | src/getargs.h | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/getargs.h b/src/getargs.h index 524f56bd..70be70a4 100644 --- a/src/getargs.h +++ b/src/getargs.h @@ -100,12 +100,13 @@ enum trace trace_grammar = 1 << 7, /**< Reading, reducing the grammar. */ trace_time = 1 << 8, /**< Time consumption. */ trace_skeleton = 1 << 9, /**< Skeleton postprocessing. */ - trace_m4 = 1 << 10, /**< M4 traces. */ - trace_muscles = 1 << 11, /**< M4 definitions of the muscles. */ - trace_ielr = 1 << 12, /**< IELR conversion. */ - trace_closure = 1 << 13, /**< Input/output of closure(). */ - trace_locations = 1 << 14, /**< Full display of locations. */ - trace_cex = 1 << 15, /**< Counterexample generation */ + trace_m4_early = 1 << 10, /**< M4 early traces. */ + trace_m4 = 1 << 11, /**< M4 traces. */ + trace_muscles = 1 << 12, /**< M4 definitions of the muscles. */ + trace_ielr = 1 << 13, /**< IELR conversion. */ + trace_closure = 1 << 14, /**< Input/output of closure(). */ + trace_locations = 1 << 15, /**< Full display of locations. */ + trace_cex = 1 << 16, /**< Counterexample generation */ trace_all = ~0 /**< All of the above. */ }; /** What debug items bison displays during its run. */ |