goto-checker → goto-instrument Relation

File in src/goto-checker	Includes file in src/goto-instrument
bmc_util.h	unwindset.h
multi_path_symex_only_checker.h	unwindset.h
single_loop_incremental_symex_checker.h	unwindset.h
single_path_symex_only_checker.h	unwindset.h
symex_bmc.cpp	unwindset.h
symex_bmc_incremental_one_loop.cpp	unwindset.h