goto-diff → goto-programs Relation

File in src/goto-diff	Includes file in src/goto-programs
change_impact.cpp	goto_model.h
goto_diff_base.cpp	goto_model.h
goto_diff_base.cpp	show_properties.h
goto_diff_parse_options.cpp	initialize_goto_model.h
goto_diff_parse_options.cpp	loop_ids.h
goto_diff_parse_options.cpp	process_goto_program.h
goto_diff_parse_options.cpp	remove_skip.h
goto_diff_parse_options.cpp	set_properties.h
goto_diff_parse_options.cpp	show_properties.h
goto_diff_parse_options.h	show_goto_functions.h
goto_diff_parse_options.h	show_properties.h
syntactic_diff.cpp	goto_model.h
unified_diff.cpp	goto_model.h
unified_diff.h	goto_program.h