parseoptions → goto-symex Relation

File in src/esbmc/parseoptions	Includes file in src/goto-symex
bmc_strategy.cpp	engine / goto_symex.h
bmc_strategy.cpp	trace / goto_trace.h
bmc_strategy.cpp	trace / sarif.h
command_line_options.cpp	engine / goto_symex.h
command_line_options.cpp	trace / goto_trace.h
command_line_options.cpp	trace / sarif.h
driver.cpp	engine / goto_symex.h
driver.cpp	trace / goto_trace.h
driver.cpp	trace / sarif.h
goto_program.cpp	engine / goto_symex.h
goto_program.cpp	trace / goto_trace.h
goto_program.cpp	trace / sarif.h
k_induction.cpp	engine / goto_symex.h
k_induction.cpp	trace / goto_trace.h
k_induction.cpp	trace / sarif.h
process_goto_program.cpp	engine / goto_symex.h
process_goto_program.cpp	trace / goto_trace.h
process_goto_program.cpp	trace / sarif.h