cprover

contracts → linking Relation

File in goto-instrument/contractsIncludes file in linking
memory_predicates.cppstatic_lifetime_init.h