goto-bmc → libcprover-cpp Relation

File in src/goto-bmc	Includes file in src/libcprover-cpp
goto_bmc_parse_options.cpp	api.h
goto_bmc_parse_options.cpp	api_options.h
goto_bmc_parse_options.cpp	verification_result.h
goto_bmc_parse_options.h	api_options.h