goto traces now show pretty function names#3194

Merged

kroening merged 1 commit intodevelopfrom

trace-function-name

Nov 8, 2018

Commits on Nov 8, 2018

use display_name() to show function in goto traces
Daniel Kroening
committed