cbmc → goto-checker Relation

File in src/cbmc	Includes file in src/goto-checker
c_test_input_generator.cpp	goto_trace_storage.h
cbmc_parse_options.cpp	all_properties_verifier.h
cbmc_parse_options.cpp	all_properties_verifier_with_fault_localization.h
cbmc_parse_options.cpp	all_properties_verifier_with_trace_storage.h
cbmc_parse_options.cpp	bmc_util.h
cbmc_parse_options.cpp	cover_goals_verifier_with_trace_storage.h
cbmc_parse_options.cpp	multi_path_symex_checker.h
cbmc_parse_options.cpp	multi_path_symex_only_checker.h
cbmc_parse_options.cpp	properties.h
cbmc_parse_options.cpp	single_loop_incremental_symex_checker.h
cbmc_parse_options.cpp	single_path_symex_checker.h
cbmc_parse_options.cpp	single_path_symex_only_checker.h
cbmc_parse_options.cpp	stop_on_fail_verifier.h
cbmc_parse_options.cpp	stop_on_fail_verifier_with_fault_localization.h
cbmc_parse_options.h	bmc_util.h