extend plain trace to show function calls and returns#2516
Merged
kroening merged 5 commits intodiffblue:developfrom Jul 24, 2018
Merged
extend plain trace to show function calls and returns#2516kroening merged 5 commits intodiffblue:developfrom
kroening merged 5 commits intodiffblue:developfrom
