cprover

contracts → langapi Relation

File in goto-instrument/contractsIncludes file in langapi
contracts.hlanguage_util.h