added counter examples to yacc

2024-04-26 16:53:04 +02:00 · 2024-04-26 16:53:04 +02:00 · f6df192686
parent c5d70fdf7e
commit f6df192686
1 changed files with 1 additions and 1 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@ -50,7 +50,7 @@ set(YACC_GENERATED_SOURCE_FILE ${PROJECT_SOURCE_DIR}/src/yacc/parser.tab.c)

 add_custom_command(OUTPUT ${YACC_GENERATED_SOURCE_FILE}
        COMMAND yacc
-        ARGS -d -o ${YACC_GENERATED_SOURCE_FILE} ${YACC_SOURCE_FILE}
+        ARGS -Wcounterexamples -d -o ${YACC_GENERATED_SOURCE_FILE} ${YACC_SOURCE_FILE}
        COMMENT "generate C source file for parser"
        VERBATIM)