CBMC

symtab2gb → linking Relation

File in src/symtab2gbIncludes file in src/linking
symtab2gb_parse_options.cpplinking.h