cprover

symtab2gb → goto-programs Relation

File in symtab2gbIncludes file in goto-programs
symtab2gb_parse_options.cppgoto_convert_functions.h
symtab2gb_parse_options.cppgoto_model.h
symtab2gb_parse_options.cpplink_goto_model.h
symtab2gb_parse_options.cppwrite_goto_binary.h