cbmc → pointer-analysis Relation

File in src/cbmc	Includes file in src/pointer-analysis
cbmc_parse_options.cpp	add_failed_symbols.h