cprover

ansi-c → langapi Relation

File in ansi-cIncludes file in langapi
ansi_c_language.hlanguage.h