From 398dd39a5bd537b2561f927636844a11b0ce1b8b Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 26 Jul 2018 18:55:53 +0100 Subject: [PATCH] cbmc: avoid an empty message during result reporting --- src/cbmc/all_properties.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cbmc/all_properties.cpp b/src/cbmc/all_properties.cpp index 0fd5ff3c475..7eb0896dfa8 100644 --- a/src/cbmc/all_properties.cpp +++ b/src/cbmc/all_properties.cpp @@ -177,9 +177,9 @@ void bmc_all_propertiest::report(const cover_goalst &cover_goals) result() << "\n" << "Trace for " << g.first << ":" << "\n"; show_goto_trace( result(), bmc.ns, g.second.goto_trace, bmc.trace_options()); + result() << eom; } } - result() << eom; status() << "\n** " << cover_goals.number_covered() << " of " << cover_goals.size() << " failed ("