goto_trace now contains the arguments of function calls#2819

Merged

kroening merged 2 commits intodevelopfrom

trace-with-arguments2

Aug 23, 2018

Commits on Aug 23, 2018

add arguments of function calls to goto_trace
Daniel Kroening
committed
show function arguments in trace
Daniel Kroening
committed