dynamic-frames → goto-programs Relation

File in src/goto-instrument/contracts/dynamic-frames	Includes file in src/goto-programs
dfcc.cpp	goto_functions.h
dfcc.cpp	goto_inline.h
dfcc.cpp	goto_model.h
dfcc.cpp	initialize_goto_model.h
dfcc.cpp	remove_skip.h
dfcc.cpp	remove_unused_functions.h
dfcc_cfg_info.h	goto_program.h
dfcc_contract_clauses_codegen.cpp	goto_model.h
dfcc_contract_functions.cpp	goto_model.h
dfcc_contract_handler.cpp	goto_model.h
dfcc_contract_handler.cpp	remove_function_pointers.h
dfcc_instrument.cpp	goto_model.h
dfcc_instrument.cpp	remove_skip.h
dfcc_instrument.h	goto_program.h
dfcc_instrument_loop.h	goto_model.h
dfcc_is_freeable.h	goto_program.h
dfcc_is_fresh.h	goto_program.h
dfcc_library.cpp	goto_function.h
dfcc_library.cpp	goto_model.h
dfcc_library.h	goto_instruction_code.h
dfcc_lift_memory_predicates.cpp	goto_model.h
dfcc_lift_memory_predicates.h	goto_program.h
dfcc_loop_tags.h	goto_program.h
dfcc_obeys_contract.h	goto_program.h
dfcc_pointer_in_range.h	goto_program.h
dfcc_root_object.cpp	pointer_arithmetic.h
dfcc_spec_functions.cpp	goto_model.h
dfcc_swap_and_wrap.cpp	goto_functions.h
dfcc_swap_and_wrap.cpp	goto_inline.h
dfcc_swap_and_wrap.cpp	goto_model.h
dfcc_swap_and_wrap.cpp	instrument_preconditions.h
dfcc_swap_and_wrap.cpp	remove_skip.h
dfcc_utils.cpp	goto_inline.h
dfcc_utils.cpp	goto_model.h
dfcc_wrapper_program.cpp	goto_model.h