From 5ffd88301573080ca8441e1effcba9ab9a757094 Mon Sep 17 00:00:00 2001 From: Snaipe Date: Sat, 26 Sep 2015 01:33:14 +0200 Subject: [PATCH] Fixed inconsistent message strings for failed theories --- src/log/normal.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/log/normal.c b/src/log/normal.c index 834c182..3bb0c41 100644 --- a/src/log/normal.c +++ b/src/log/normal.c @@ -77,7 +77,7 @@ static msg_t msg_post_test = "%s::%s\n"; static msg_t msg_post_suite_test = "%s::%s: Test is disabled\n"; static msg_t msg_post_suite_suite = "%s::%s: Suite is disabled\n"; static msg_t msg_assert_fail = "%s%s%s:%s%d%s: Assertion failed: %s\n"; -static msg_t msg_theory_fail = " Theory %s::%s failed with the following parameters: %s\n"; +static msg_t msg_theory_fail = " Theory %s::%s failed with the following parameters: (%s)\n"; static msg_t msg_test_timeout = "%s::%s: Timed out. (%3.2fs)\n"; static msg_t msg_test_crash_line = "%s%s%s:%s%u%s: Unexpected signal caught below this line!\n"; static msg_t msg_test_crash = "%s::%s: CRASH!\n";