SUBDIRS =
DIST_SUBDIRS =
AM_MAKEFLAGS = --no-print-directory
--AM_YFLAGS = -Wno-yacc -Wno-other -Werror=conflicts-sr -Werror=conflicts-rr
-+AM_YFLAGS = -Wnone -Werror=conflicts-sr -Werror=conflicts-rr
+-AM_YFLAGS = -Wno-yacc -Wno-other -Werror=conflicts-sr -Werror=conflicts-rr -Wcounterexamples
++AM_YFLAGS = -Wnone -Werror=conflicts-sr -Werror=conflicts-rr -Wcounterexamples
AM_TESTS_ENVIRONMENT = top_srcdir="$(top_srcdir)" CRITERION_TEST_PATTERN='!(*/*performance*)' ASAN_OPTIONS="detect_odr_violation=0"
if ENABLE_SANITIZER