Name		Name	Last commit message	Last commit date
parent directory ..
.gitignore		.gitignore
README.md		README.md
actions.at		actions.at
atlocal.in		atlocal.in
bison.in		bison.in
c++.at		c++.at
calc.at		calc.at
conflicts.at		conflicts.at
counterexample.at		counterexample.at
cxx-type.at		cxx-type.at
d.at		d.at
diagnostics.at		diagnostics.at
existing.at		existing.at
glr-regression.at		glr-regression.at
headers.at		headers.at
input.at		input.at
java.at		java.at
javapush.at		javapush.at
linear		linear
local.at		local.at
local.mk		local.mk
m4.at		m4.at
named-refs.at		named-refs.at
output.at		output.at
push.at		push.at
reduce.at		reduce.at
regression.at		regression.at
report.at		report.at
scanner.at		scanner.at
sets.at		sets.at
skeletons.at		skeletons.at
synclines.at		synclines.at
testsuite.at		testsuite.at
testsuite.h		testsuite.h
torture.at		torture.at
types.at		types.at

README.md

AT_BISON_OPTION_PUSHDEFS/AT_BISON_OPTION_POPDEFS

These two macros must be given the (main) directives so that they define a number of other macros to:

what the language is (so what compiler tool chain to use, what definition of yylex/yyerror, etc.)
what skeleton is used

Keywords

The following keywords are used to label tests (with AT_KEYWORDS([[category]])). Please follow them and avoid creating synonyms.

action
api.value.type
c++: c++ language
cex: counterexamples.
d: d language
deprec: deprecated features.
diagnostics
glr
graph
html: html reports
java
lac
%merge
multistart
push
report: for automaton dumps
%union
variant
yacc: POSIX yacc (%yacc)

Calculator

The grammar features several special directives:

!! YYERROR
!+ YYACCEPT
!- YYABORT
!* YYNOMEM