esbmc → clang-c-frontend Relation

File in src/esbmc	Includes file in src/clang-c-frontend
globals.cpp	clang_c_language.h
parseoptions / bmc_strategy.cpp	clang_c_language.h
parseoptions / command_line_options.cpp	clang_c_language.h
parseoptions / driver.cpp	clang_c_language.h
parseoptions / goto_program.cpp	clang_c_language.h
parseoptions / k_induction.cpp	clang_c_language.h
parseoptions / process_goto_program.cpp	clang_c_language.h