cprover

symtab2gb → json-symtab-language Relation

File in symtab2gbIncludes file in json-symtab-language
symtab2gb_parse_options.cppjson_symtab_language.h