+
+## --------------------------- ##
+## Multiple impure instances. ##
+## --------------------------- ##
+
+AT_SETUP([[Multiple impure instances]])
+
+m4_pushdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK], [
+AT_DATA_GRAMMAR([[input.y]],
+[[
+%{
+ #include <assert.h>
+ #include <stdio.h>
+ void yyerror (char const *msg);
+ int yylex (void);
+%}
+
+%define api.push-pull ]$1[
+
+%%
+
+start: ;
+
+%%
+
+void
+yyerror (char const *msg)
+{
+ fprintf (stderr, "%s\n", msg);
+}
+
+int
+yylex (void)
+{
+ return 0;
+}
+
+int
+main (void)
+{
+ yypstate *ps;
+ int i;
+
+ for (i = 0; i < 2; ++i)
+ {
+ ps = yypstate_new ();
+ assert (ps);
+ assert (yypstate_new () == NULL);
+ ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;
+ yychar = 0;
+ assert (yypush_parse (ps) == 0);
+ assert (yypstate_new () == NULL);
+ ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;
+ yypstate_delete (ps);
+ }
+
+ return 0;
+}
+]])
+
+AT_BISON_CHECK([[-o input.c input.y]])
+AT_COMPILE([[input]])
+AT_PARSER_CHECK([[./input]])
+])
+
+AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[both]])
+AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[push]])
+
+m4_popdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK])
+
+AT_CLEANUP
+
+## ----------------------- ##
+## Unsupported Skeletons. ##
+## ----------------------- ##
+
+AT_SETUP([[Unsupported Skeletons]])
+
+AT_DATA([[input.y]],
+[[%glr-parser
+%define api.push-pull push
+%%
+start: ;
+]])
+
+AT_BISON_CHECK([[input.y]], [[1]], [],
+[[input.y:2.9-21: %define variable `api.push-pull' is not used
+]])
+
+AT_CLEANUP