std::string get_cegis_library_text(const size_t num_vars,
const size_t num_consts, const size_t max_size,
const std::string &func_name)
{
symbol_tablet st;
add_execute_placeholder(st, func_name, cegis_execute_type());
std::set<irep_idt> functions;
functions.insert(func_name);
std::string text(get_cegis_code_prefix(num_vars, num_consts, max_size));
return text+=get_cprover_library_text(functions, st);
}
void add_cprover_library(
const std::set<irep_idt> &functions,
symbol_tablet &symbol_table,
message_handlert &message_handler)
{
if(config.ansi_c.lib==configt::ansi_ct::libt::LIB_NONE)
return;
std::string library_text;
library_text=get_cprover_library_text(functions, symbol_table);
add_library(library_text, symbol_table, message_handler);
}