goto-checker → goto-programs Relation

File in src/goto-checker	Includes file in src/goto-programs
all_properties_verifier_with_trace_storage.h	abstract_goto_model.h
bmc_util.cpp	graphml_witness.h
bmc_util.cpp	json_goto_trace.h
bmc_util.cpp	xml_goto_trace.h
fatal_assertions.cpp	goto_functions.h
fault_localization_provider.h	goto_program.h
goto_trace_storage.h	goto_trace.h
multi_path_symex_checker.cpp	remove_function_pointers.h
multi_path_symex_checker.cpp	remove_vector.h
properties.cpp	abstract_goto_model.h
properties.h	goto_program.h
report_util.cpp	json_goto_trace.h
report_util.cpp	xml_goto_trace.h
symex_coverage.cpp	goto_functions.h
symex_coverage.h	goto_program.h