cprover

java_bytecode → linking Relation

File in jbmc/src/java_bytecodeIncludes file in linking
java_bytecode_language.cppstatic_lifetime_init.h
java_entry_point.cppstatic_lifetime_init.h
java_string_literals.cppstatic_lifetime_init.h
remove_exceptions.cppstatic_lifetime_init.h