CBMC

statement-list → linking Relation

File in src/statement-listIncludes file in src/linking
statement_list_entry_point.cppstatic_lifetime_init.h
statement_list_language.cpplinking.h
statement_list_language.cppremove_internal_symbols.h