dynamic-frames → langapi Relation

File in src/goto-instrument/contracts/dynamic-frames	Includes file in src/langapi
dfcc_contract_clauses_codegen.cpp	language_util.h
dfcc_contract_handler.cpp	language_util.h
dfcc_instrument.cpp	language_util.h
dfcc_obeys_contract.cpp	language_util.h
dfcc_spec_functions.cpp	language_util.h
dfcc_wrapper_program.cpp	language_util.h