10 #ifndef CPROVER_ANSI_C_CPROVER_LIBRARY_H 11 #define CPROVER_ANSI_C_CPROVER_LIBRARY_H 25 const std::set<irep_idt> &functions,
28 const std::string &prologue);
31 const std::string &src,
36 const std::set<irep_idt> &functions,
40 #endif // CPROVER_ANSI_C_CPROVER_LIBRARY_H
void cprover_c_library_factory(const std::set< irep_idt > &functions, symbol_tablet &, message_handlert &)
void add_library(const std::string &src, symbol_tablet &, message_handlert &)
std::string get_cprover_library_text(const std::set< irep_idt > &functions, const symbol_tablet &, const struct cprover_library_entryt[], const std::string &prologue)