cprover

ansi-c → linking Relation

File in ansi-cIncludes file in linking
ansi_c_entry_point.cppstatic_lifetime_init.h
ansi_c_internal_additions.cppstatic_lifetime_init.h
ansi_c_language.cpplinking.h
ansi_c_language.cppremove_internal_symbols.h