cprover

src → linking Relation

File in jbmc/srcIncludes file in linking
java_bytecode / java_entry_point.cppstatic_lifetime_init.h
jbmc / jbmc_parse_options.cppstatic_lifetime_init.h