contracts → langapi Relation

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