goto-programs → ansi-c Relation

File in src/goto-programs	Includes file in src/ansi-c
goto_trace.cpp	printf_formatter.h
graphml_witness.cpp	expr2c.h
initialize_goto_model.cpp	goto-conversion / goto_convert_functions.h
process_goto_program.cpp	goto-conversion / goto_check_c.h
process_goto_program.cpp	goto-conversion / string_instrumentation.h
remove_vector.cpp	c_expr.h
restrict_function_pointers.cpp	expr2c.h
xml_goto_trace.cpp	printf_formatter.h