1 # AT_BISON_OPTION_PUSHDEFS/AT_BISON_OPTION_POPDEFS
3 These two macros must be given the (main) directives so that they
4 define a number of other macros to:
5 - what the language is (so what compiler tool chain to use, what
6 definition of yylex/yyerror, etc.)
7 - what skeleton is used
10 The following keywords are used to label tests (with
11 AT_KEYWORDS([[category]])). Please follow them and avoid creating
16 - cex: counterexamples.
18 - deprec: deprecated features.
28 - report: for automaton dumps
31 - yacc: POSIX yacc (%yacc)
34 The grammar features several special directives: