goto-synthesizer → ansi-c Relation

File in src/goto-synthesizer	Includes file in src/ansi-c
cegis_verifier.cpp	cprover_library.h
cegis_verifier.cpp	goto-conversion / goto_convert_functions.h
cegis_verifier.cpp	goto-conversion / link_to_library.h
dump_loop_contracts.cpp	expr2c.h
goto_synthesizer_languages.cpp	ansi_c_language.h
goto_synthesizer_parse_options.cpp	gcc_version.h