It is unclear how to generate a single report for a number GOTO binaries

[ligurio]

Image a one have a number of GOTO binaries for every target function.
For every GOTO binary, CBMC will generate a property, coverage and result reports (in JSON or XML format).

According to documentation ¹ cbmc-viewer could accept many property, coverage and result reports, but GOTO binary must only one. So what is a way to generate a single report for many binaries?

Footnotes

1. https://model-checking.github.io/cbmc-viewer/reference-manual/cbmc-viewer.html ↩