diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-06-10 07:35:47 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-06-10 07:53:44 +0200 |
commit | d2acc4b4014ad7447c29ce56095f28d22ed12978 (patch) | |
tree | 624d319e64cb7d8e5b8436a0def539de87ef67fd /tests/counterexample.at | |
parent | a53c6026cd367c75d5594e6e649ee1cdda93d5ae (diff) | |
download | bison-d2acc4b4014ad7447c29ce56095f28d22ed12978.tar.gz |
cex: rename -Wcounterexample as -Wcounterexamples, and support -Wcex
Plural vs. singular is always a problem...
But we already have conflicts-sr and conflicts-rr, so counterexamples
makes more sense than counterexample. Besides, -Wcounterexample will
still be accepted as an unambiguous prefix of -Wcounterexamples.
Add -Wcex as a convenient alias.
While at it, use only "counterexample", never "counter example".
* src/complain.h, src/complain.c
(Wcounterexample, warning_counterexample): Rename as...
(Wcounterexamples, warning_counterexamples): these.
(argmatch_warning_docs): Rename -Wcounterexample as -Wcounterexamples.
(argmatch_warning_args): Likewise.
Add support for -Wcex.
Adjust dependencies.
Diffstat (limited to 'tests/counterexample.at')
-rw-r--r-- | tests/counterexample.at | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/counterexample.at b/tests/counterexample.at index 7c176636..8647e464 100644 --- a/tests/counterexample.at +++ b/tests/counterexample.at @@ -21,7 +21,7 @@ m4_define([AT_BISON_CHECK_CEX], [AT_DATA([experr], [$4]) sed -e ['s/time limit exceeded: [0-9][.0-9]*/time limit exceeded: XXX/g'] \ experr >expout -AT_BISON_CHECK([-Wcounterexample $1], [$2], [$3], [stderr]) +AT_BISON_CHECK([-Wcounterexamples $1], [$2], [$3], [stderr]) AT_CHECK([[sed -e 's/time limit exceeded: [0-9][.0-9]*/time limit exceeded: XXX/g' stderr]], [], [expout]) ]) |