Akim Demaille d2acc4b401 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.

2020-06-10 07:53:44 +02:00

..

.gitignore

graph: prefer *.gv to *.dot

2019-02-21 06:46:07 +01:00

actions.at

skeletons: use "invalid token" instead of "$undefined"

2020-04-12 13:56:44 +02:00

atlocal.in

tests: beware of portability issues with diff -u

2020-05-04 06:48:00 +02:00

bison.in

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

c++.at

tests: don't use == to compare const char *...

2020-05-14 07:26:34 +02:00

calc.at

java: clean up the definition of token kinds

2020-04-28 07:56:00 +02:00

conflicts.at

skeletons: use "end of file" instead of "$end"

2020-04-12 13:56:44 +02:00

counterexample.at

cex: rename -Wcounterexample as -Wcounterexamples, and support -Wcex

2020-06-10 07:53:44 +02:00

cxx-type.at

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

diagnostics.at

tests: beware of wchar_t portability issues on AIX

2020-05-04 08:09:22 +02:00

existing.at

tests: beware of portability issues with diff -u

2020-05-04 06:48:00 +02:00

glr-regression.at

skeletons: use "end of file" instead of "$end"

2020-04-12 13:56:44 +02:00

headers.at

error: rename the error token from YYERRCODE to YYerror

2020-04-28 07:54:07 +02:00

input.at

bison: add command line option to map file prefixes

2020-05-24 15:17:15 +02:00

java.at

java: fix coding style

2020-05-02 09:27:16 +02:00

javapush.at

java: fix coding style

2020-05-02 09:27:16 +02:00

linear

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

local.at

cex: tests: be robust to variations in time limit reports

2020-05-22 07:52:27 +02:00

local.mk

cex: fixes, and enable tests

2020-05-22 07:52:27 +02:00

m4.at

fix generated comments

2020-05-21 20:14:59 +02:00

named-refs.at

diagnostics: modernize the display of submessages

2020-02-15 08:28:40 +01:00

output.at

api.header.include: document it, and fix its default value

2020-06-09 08:09:26 +02:00

push.at

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

reduce.at

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

regression.at

CI: add GCC 10 and Clang 10

2020-05-17 08:28:12 +02:00

report.at

test: report.at: avoid tiny new failure

2020-01-19 10:03:01 +01:00

scanner.at

d: put YYEMPTY in the TokenKind

2020-04-13 16:49:54 +02:00

sets.at

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

skeletons.at

skeletons: use "end of file" instead of "$end"

2020-04-12 13:56:44 +02:00

synclines.at

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

testsuite.at

cex: add tests

2020-05-22 07:52:27 +02:00

testsuite.h

tests: simplify prologue

2019-11-03 10:32:22 +01:00

torture.at

style: formatting changes

2020-03-04 08:24:36 +01:00

types.at

style: rename user_token_number as code

2020-05-23 08:43:58 +02:00