goto_trace now contains the arguments of function calls#2819

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

trace-with-arguments2diffblue/cbmc:trace-with-arguments2Copy head branch name to clipboard