parseoptions → c2goto Relation

File in src/esbmc/parseoptions	Includes file in src/c2goto
bmc_strategy.cpp	headers / sys / time.h
command_line_options.cpp	headers / sys / time.h
driver.cpp	headers / sys / time.h
goto_program.cpp	cprover_library.h
k_induction.cpp	headers / sys / time.h