contracts → linking Relation

File in src/goto-instrument/contracts	Includes file in src/linking
memory_predicates.cpp	static_lifetime_init.h
dynamic-frames / dfcc.cpp	static_lifetime_init.h
dynamic-frames / dfcc_library.cpp	static_lifetime_init.h
dynamic-frames / dfcc_utils.cpp	static_lifetime_init.h