cbmc → ansi-c Relation

File in src/cbmc	Includes file in src/ansi-c
cbmc_languages.cpp	ansi_c_language.h
cbmc_parse_options.cpp	c_preprocess.h
cbmc_parse_options.cpp	cprover_library.h
cbmc_parse_options.cpp	gcc_version.h
cbmc_parse_options.cpp	goto-conversion / link_to_library.h
cbmc_parse_options.h	ansi_c_language.h
cbmc_parse_options.h	goto-conversion / goto_check_c.h