+2009-09-13 Joel E. Denny <jdenny@clemson.edu>
+
+ tests: clean up push.at test group titles.
+ * tests/push.at: Remove "Push Parsing: " from test group titles
+ because these are already under the banner "Push Parsing Tests".
+
2009-09-12 Alex Rozenman <rozenman@gmail.com>
Provide an additional sub-message for clarity.
AT_BANNER([[Push Parsing Tests]])
-## ---------------------------------------------- ##
-## Push Parsing: Memory Leak for Early Deletion. ##
-## ---------------------------------------------- ##
+## -------------------------------- ##
+## Memory Leak for Early Deletion. ##
+## -------------------------------- ##
-AT_SETUP([[Push Parsing: Memory Leak for Early Deletion]])
+AT_SETUP([[Memory Leak for Early Deletion]])
# Requires Valgrind.
AT_CLEANUP
-## ----------------------------------------- ##
-## Push Parsing: Multiple impure instances. ##
-## ----------------------------------------- ##
+## --------------------------- ##
+## Multiple impure instances. ##
+## --------------------------- ##
-AT_SETUP([[Push Parsing: Multiple impure instances]])
+AT_SETUP([[Multiple impure instances]])
m4_pushdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK], [
AT_DATA_GRAMMAR([[input.y]],
AT_CLEANUP
-## ------------------------------------- ##
-## Push Parsing: Unsupported Skeletons. ##
-## ------------------------------------- ##
+## ----------------------- ##
+## Unsupported Skeletons. ##
+## ----------------------- ##
-AT_SETUP([[Push Parsing: Unsupported Skeletons]])
+AT_SETUP([[Unsupported Skeletons]])
AT_DATA([[input.y]],
[[%glr-parser