goto-harness → goto-programs Relation

File in src/goto-harness	Includes file in src/goto-programs
function_call_harness_generator.cpp	goto_model.h
goto_harness_parse_options.cpp	goto_model.h
goto_harness_parse_options.cpp	read_goto_binary.h
goto_harness_parse_options.cpp	write_goto_binary.h
memory_snapshot_harness_generator.cpp	goto_model.h
memory_snapshot_harness_generator.h	goto_program.h
recursive_initialization.cpp	name_mangler.h