C++ (Cpp) get_cprover_library_text示例

示例#1

文件： cegis_library.cpp 项目： diffblue/cbmc

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);
}

示例#2

文件： cprover_library.cpp 项目： Dthird/CBMC

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);
}