From 8041b27617211a5762e58670b0acf474ffcfa610 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sun, 6 Oct 2013 14:10:29 -0700 Subject: [PATCH] tests: improve diagnostic when an assertion fails * tests/macros.h (ASSERT): Report the assertion that failed. --- ChangeLog | 5 +++++ tests/macros.h | 4 ++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9eb2479ca..99357ad50 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2013-10-06 Paul Eggert + + tests: improve diagnostic when an assertion fails + * tests/macros.h (ASSERT): Report the assertion that failed. + 2013-10-02 Paul Eggert verify: new macro 'assume' diff --git a/tests/macros.h b/tests/macros.h index 60ba894d8..1ceb81511 100644 --- 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 (); \ } \ -- 2.11.0