10 #ifndef CPROVER_ANSI_C_CPROVER_LIBRARY_H 11 #define CPROVER_ANSI_C_CPROVER_LIBRARY_H 19 const std::set<irep_idt> &functions,
23 const std::string &src,
28 const std::set<irep_idt> &functions,
32 #endif // CPROVER_ANSI_C_CPROVER_LIBRARY_H void add_library(const std::string &src, symbol_tablet &, message_handlert &)
void add_cprover_library(const std::set< irep_idt > &functions, symbol_tablet &, message_handlert &)
std::string get_cprover_library_text(const std::set< irep_idt > &functions, const symbol_tablet &)