cprover

ansi-c → linking Relation

File in ansi-cIncludes file in linking
ansi_c_entry_point.cppstatic_lifetime_init.h
ansi_c_language.cpplinking.h
ansi_c_language.cppremove_internal_symbols.h
c_nondet_symbol_factory.cppzero_initializer.h
c_typecheck_code.cppzero_initializer.h
c_typecheck_initializer.cppzero_initializer.h