goto-synthesizer → goto-instrument Relation

File in src/goto-synthesizer	Includes file in src/goto-instrument
cegis_verifier.cpp	contracts / contracts.h
cegis_verifier.cpp	havoc_utils.h
cegis_verifier.cpp	contracts / instrument_spec_assigns.h
cegis_verifier.cpp	contracts / utils.h
enumerative_loop_contracts_synthesizer.cpp	contracts / cfg_info.h
enumerative_loop_contracts_synthesizer.cpp	havoc_utils.h
enumerative_loop_contracts_synthesizer.cpp	loop_utils.h
enumerative_loop_contracts_synthesizer.cpp	contracts / utils.h
goto_synthesizer_parse_options.cpp	contracts / contracts.h
goto_synthesizer_parse_options.cpp	nondet_volatile.h
goto_synthesizer_parse_options.cpp	reachability_slicer.h
goto_synthesizer_parse_options.h	contracts / contracts.h
synthesizer_utils.h	contracts / utils.h