src → goto-instrument Relation

File in jbmc/src	Includes file in goto-instrument
jbmc / jbmc_parse_options.cpp	full_slicer.h
jbmc / jbmc_parse_options.cpp	nondet_static.h
jbmc / jbmc_parse_options.cpp	reachability_slicer.h
jdiff / jdiff_parse_options.cpp	cover.h
jdiff / jdiff_parse_options.h	cover.h