Utilities for reporting overall result/status/exit code [depends: 3583, blocks: 3585]#3584

Merged

tautschnig merged 7 commits intodiffblue:developfrom

peterschrammel:overall-reporting-utils

Jan 14, 2019

Commits on Jan 14, 2019