From 5a65d278511ffc7801b0387482f877fd4eda3a76 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Mon, 23 Sep 2024 21:42:02 -0400 Subject: [PATCH] Internals: bisonpre: Support -Wcounterexamples --- src/bisonpre | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/bisonpre b/src/bisonpre index cab9ed970..8c505c312 100755 --- a/src/bisonpre +++ b/src/bisonpre @@ -29,6 +29,7 @@ def process(): + (" -d" if Args.definitions else "") # + (" -k" if Args.token_table else "") # + (" -v" if Args.verbose else "") # + + (" -Wcounterexamples" if Args.Wcounterexamples else "") # + (" --report=itemset --report=lookahead" if (Args.verbose and supports_report) else "") # Useful but slow: # (" -Wcounterexamples" if @@ -509,6 +510,7 @@ parser.add_argument('-o', parser.add_argument('-p', '--name-prefix', action='store', help='Passed to bison.') parser.add_argument('-t', '--debug', action='store_true', help='Passed to bison.') parser.add_argument('-v', '--verbose', action='store_true', help='Passed to bison.') +parser.add_argument('-Wcounterexamples', action='store_true', help='Passed to bison.') parser.add_argument('input', help='Passed to bison. Input grammar file.')