goto-inspect → goto-programs Relation

File in src/goto-inspect	Includes file in src/goto-programs
goto_inspect_parse_options.cpp	goto_model.h
goto_inspect_parse_options.cpp	read_goto_binary.h
goto_inspect_parse_options.cpp	show_goto_functions.h