cprover

goto-checker → linking Relation

File in goto-checkerIncludes file in linking
bmc_util.cppstatic_lifetime_init.h
symex_coverage.cppstatic_lifetime_init.h