18 const std::set<irep_idt> &functions,
21 std::ostringstream library_text;
23 library_text <<
"#line 1 \"<builtin-library>\"\n" 30 #include "cprover_library.inc" 35 functions, symbol_table, cprover_library, library_text.str());
39 const std::set<irep_idt> &functions,
46 const std::string library_text =
struct configt::ansi_ct ansi_c
std::string get_cprover_library_text(const std::set< irep_idt > &functions, const symbol_tablet &symbol_table, const struct cprover_library_entryt cprover_library[], const std::string &prologue)
void add_library(const std::string &src, symbol_tablet &symbol_table, message_handlert &message_handler)
void cprover_cpp_library_factory(const std::set< irep_idt > &functions, symbol_tablet &symbol_table, message_handlert &message_handler)
goto_programt coverage_criteriont message_handlert & message_handler