goto-synthesizer → goto-programs Relation

File in src/goto-synthesizer	Includes file in src/goto-programs
cegis_verifier.cpp	pointer_arithmetic.h
cegis_verifier.cpp	process_goto_program.h
cegis_verifier.cpp	remove_skip.h
cegis_verifier.cpp	set_properties.h
cegis_verifier.h	goto_model.h
cegis_verifier.h	loop_ids.h
goto_synthesizer_parse_options.cpp	initialize_goto_model.h
goto_synthesizer_parse_options.cpp	read_goto_binary.h
goto_synthesizer_parse_options.cpp	set_properties.h
goto_synthesizer_parse_options.cpp	show_goto_functions.h
goto_synthesizer_parse_options.cpp	show_properties.h
goto_synthesizer_parse_options.cpp	write_goto_binary.h
goto_synthesizer_parse_options.h	goto_model.h
loop_contracts_synthesizer_base.h	goto_model.h