cprover → goto-programs Relation

File in src/cprover	Includes file in src/goto-programs
c_safety_checks.cpp	goto_model.h
cprover_parse_options.cpp	adjust_float_expressions.h
cprover_parse_options.cpp	goto_inline.h
cprover_parse_options.cpp	initialize_goto_model.h
cprover_parse_options.cpp	loop_ids.h
cprover_parse_options.cpp	remove_function_pointers.h
cprover_parse_options.cpp	set_properties.h
cprover_parse_options.cpp	show_properties.h
instrument_contracts.cpp	goto_model.h
instrument_given_invariants.cpp	goto_model.h
state_encoding.cpp	goto_model.h