goto-analyzer → goto-programs Relation

File in src/goto-analyzer	Includes file in src/goto-programs
build_analyzer.cpp	goto_model.h
goto_analyzer_parse_options.cpp	initialize_goto_model.h
goto_analyzer_parse_options.cpp	process_goto_program.h
goto_analyzer_parse_options.cpp	set_properties.h
goto_analyzer_parse_options.cpp	show_properties.h
goto_analyzer_parse_options.cpp	show_symbol_table.h
goto_analyzer_parse_options.h	goto_model.h
goto_analyzer_parse_options.h	show_goto_functions.h
goto_analyzer_parse_options.h	show_properties.h
static_simplifier.cpp	goto_model.h
static_simplifier.cpp	remove_returns.h
static_simplifier.cpp	remove_skip.h
static_simplifier.cpp	remove_unreachable.h
static_simplifier.cpp	write_goto_binary.h
static_verifier.cpp	goto_model.h
taint_analysis.cpp	class_hierarchy.h
unreachable_instructions.cpp	compute_called_functions.h