cprover
|
#include "cprover_library.h"
#include <sstream>
#include <util/config.h>
#include <ansi-c/cprover_library.h>
Go to the source code of this file.
Functions | |
static std::string | get_cprover_library_text (const std::set< irep_idt > &functions, const symbol_tablet &symbol_table) |
void | cprover_cpp_library_factory (const std::set< irep_idt > &functions, 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 | ||
) |
Definition at line 38 of file cprover_library.cpp.
References add_library(), configt::ansi_c, config, get_cprover_library_text(), configt::ansi_ct::lib, configt::ansi_ct::LIB_NONE, and message_handler.
Referenced by goto_instrument_parse_optionst::instrument_goto_program(), goto_diff_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), and goto_analyzer_parse_optionst::process_goto_program().
|
static |
Definition at line 17 of file cprover_library.cpp.
References get_cprover_library_text().