* tests/macros.h (ASSERT): Report the assertion that failed.
+2013-10-06 Paul Eggert <eggert@cs.ucla.edu>
+
+ tests: improve diagnostic when an assertion fails
+ * tests/macros.h (ASSERT): Report the assertion that failed.
+
2013-10-02 Paul Eggert <eggert@cs.ucla.edu>
verify: new macro 'assume'
{ \
if (!(expr)) \
{ \
- fprintf (ASSERT_STREAM, "%s:%d: assertion failed\n", \
- __FILE__, __LINE__); \
+ fprintf (ASSERT_STREAM, "%s:%d: assertion '%s' failed\n", \
+ __FILE__, __LINE__, #expr); \
fflush (ASSERT_STREAM); \
abort (); \
} \