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 ^1 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?