cprover

cbmc → json Relation

File in cbmcIncludes file in json
cbmc_parse_options.hjson_interface.h