esbmc → goto2c Relation

File in src/esbmc	Includes file in src/goto2c
parseoptions / bmc_strategy.cpp	goto2c.h
parseoptions / command_line_options.cpp	goto2c.h
parseoptions / driver.cpp	goto2c.h
parseoptions / goto_program.cpp	goto2c.h
parseoptions / k_induction.cpp	goto2c.h
parseoptions / process_goto_program.cpp	goto2c.h