libcprover-cpp → goto-checker Relation

File in src/libcprover-cpp	Includes file in src/goto-checker
api.cpp	all_properties_verifier_with_trace_storage.h
api.cpp	multi_path_symex_checker.h
api_options.cpp	solver_factory.h
verification_result.cpp	properties.h