goto-instrument → linking Relation

File in src/goto-instrument	Includes file in src/linking
aggressive_slicer.cpp	static_lifetime_init.h
call_sequences.cpp	static_lifetime_init.h
count_eloc.cpp	static_lifetime_init.h
cover_filter.cpp	static_lifetime_init.h
contracts / dynamic-frames / dfcc.cpp	static_lifetime_init.h
contracts / dynamic-frames / dfcc_library.cpp	static_lifetime_init.h
contracts / dynamic-frames / dfcc_swap_and_wrap.cpp	static_lifetime_init.h
contracts / dynamic-frames / dfcc_utils.cpp	static_lifetime_init.h
dump_c.cpp	static_lifetime_init.h
interrupt.cpp	static_lifetime_init.h
contracts / memory_predicates.cpp	static_lifetime_init.h
mmio.cpp	static_lifetime_init.h
nondet_static.cpp	static_lifetime_init.h
race_check.cpp	static_lifetime_init.h
stack_depth.cpp	static_lifetime_init.h
wmm / goto2graph.cpp	static_lifetime_init.h
wmm / shared_buffers.cpp	static_lifetime_init.h
wmm / weak_memory.cpp	static_lifetime_init.h