trace → util Relation

File in src/goto-symex/trace	Includes file in src/util
goto_trace.cpp	arith / arith_tools.h
goto_trace.cpp	base / cwe_mapping.h
goto_trace.cpp	irep / std_types.h
goto_trace.h	config / cmdline.h
goto_trace.h	irep / migrate.h
json.cpp	base / cwe_mapping.h
json.cpp	lang / language.h
json.cpp	message / message.h
printf_formatter.cpp	lang / c_types.h
printf_formatter.cpp	config / config.h
printf_formatter.cpp	arith / format_constant.h
printf_formatter.cpp	expr / type_byte_size.h
sarif.cpp	base / cwe_mapping.h
sarif.cpp	message / message.h
sarif.h	symtab / namespace.h
sarif.h	config / options.h
xml_goto_trace.cpp	base / i2string.h
xml_goto_trace.cpp	irep / xml_irep.h
xml_goto_trace.h	base / xml.h