json_irept now returns ireps and jsont directly#1398

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

json_direct_returndiffblue/cbmc:json_direct_returnCopy head branch name to clipboard