cbmc → goto-programs Relation

File in src/cbmc	Includes file in src/goto-programs
c_test_input_generator.cpp	json_expr.h
c_test_input_generator.cpp	json_goto_trace.h
c_test_input_generator.cpp	xml_expr.h
c_test_input_generator.cpp	xml_goto_trace.h
cbmc_parse_options.cpp	initialize_goto_model.h
cbmc_parse_options.cpp	loop_ids.h
cbmc_parse_options.cpp	process_goto_program.h
cbmc_parse_options.cpp	read_goto_binary.h
cbmc_parse_options.cpp	remove_skip.h
cbmc_parse_options.cpp	remove_unused_functions.h
cbmc_parse_options.cpp	set_properties.h
cbmc_parse_options.cpp	show_goto_functions.h
cbmc_parse_options.cpp	show_properties.h
cbmc_parse_options.cpp	show_symbol_table.h
cbmc_parse_options.cpp	write_goto_binary.h
cbmc_parse_options.h	goto_model.h
cbmc_parse_options.h	goto_trace.h