It would be useful to be able to collect more than one output stream from CBMC (textual, json, xml)

[danielsn]

CBMC version: 5.34
XML, json, and textual reports currently contain different sets of information. To generate good reports for CBMC viewer, we sometimes need data from more than one report type. Ideally, it would be possible to have all information in one structured form. Until then, it would be nice to be able to generate any set of desired output forms to specified files.

i.e. instead of

cbmc --json-ui foo.c

also allow

cbmc --json-output=foo.out.json --xml-output=foo.out.xml --textual-output=foo.out.txt

[peterschrammel]

It's certainly easier (and cleaner for the downstream tools) to put all desired information into JSON and/or XML than adding support to output multiple formats.