symtab2gb → goto-programs Relation

File in src/symtab2gb	Includes file in src/goto-programs
symtab2gb_parse_options.cpp	goto_model.h
symtab2gb_parse_options.cpp	write_goto_binary.h