tests: improve diagnostic when an assertion fails

* tests/macros.h (ASSERT): Report the assertion that failed.

diff --git a/ChangeLog b/ChangeLog
index 9eb2479..99357ad 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+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'

diff --git a/tests/macros.h b/tests/macros.h
index 60ba894..1ceb815 100644 (file)
--- a/tests/macros.h
+++ b/tests/macros.h
@@ -48,8 +48,8 @@
     {                                                                        \
       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 ();                                                          \
         }                                                                    \