cbmc → langapi Relation

File in src/cbmc	Includes file in src/langapi
c_test_input_generator.cpp	language_util.h
cbmc_languages.cpp	mode.h
cbmc_parse_options.cpp	language.h
cbmc_parse_options.cpp	mode.h
cbmc_parse_options.h	language.h