cprover

goto-cc → linking Relation

File in goto-ccIncludes file in linking
compile.cppstatic_lifetime_init.h
linker_script_merge.cppstatic_lifetime_init.h