Skip to content

Commit d999a3e

Browse files
author
Daniel Kroening
committed
use formatting in goto-analyzer
the summary result is now bold
1 parent b27c1e8 commit d999a3e

File tree

1 file changed

+7
-6
lines changed

1 file changed

+7
-6
lines changed

src/goto-analyzer/static_verifier.cpp

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -232,22 +232,22 @@ bool static_verifier(
232232

233233
if(e.is_true())
234234
{
235-
m.result() << "Success";
235+
m.result() << m.green() << "Success" << m.reset();
236236
pass++;
237237
}
238238
else if(e.is_false())
239239
{
240-
m.result() << "Failure (if reachable)";
240+
m.result() << m.red() << "Failure" << m.reset() << " (if reachable)";
241241
fail++;
242242
}
243243
else if(domain.is_bottom())
244244
{
245-
m.result() << "Success (unreachable)";
245+
m.result() << m.green() << "Success" << m.reset() << " (unreachable)";
246246
pass++;
247247
}
248248
else
249249
{
250-
m.result() << "Unknown";
250+
m.result() << m.yellow() << "Unknown" << m.reset();
251251
unknown++;
252252
}
253253

@@ -258,10 +258,11 @@ bool static_verifier(
258258
}
259259
}
260260

261-
m.status() << "Summary: "
261+
m.status() << m.bold() << "Summary: "
262262
<< pass << " pass, "
263263
<< fail << " fail if reachable, "
264-
<< unknown << " unknown\n";
264+
<< unknown << " unknown"
265+
<< m.reset() << messaget::eom;
265266

266267
return false;
267268
}

0 commit comments

Comments
 (0)