cprover

xml_binaries → langapi Relation

File in goto-cc/xml_binariesIncludes file in langapi
read_goto_object.cppmode.h