cprover

json-symtab-language → goto-programs Relation

File in json-symtab-languageIncludes file in goto-programs
json_symtab_language.hgoto_functions.h