cprover
|
#include "cprover_library.h"
#include <sstream>
#include <util/config.h>
#include "ansi_c_language.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) |
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 | cprover_c_library_factory (const std::set< irep_idt > &functions, symbol_tablet &symbol_table, message_handlert &message_handler) |
void | add_library (const std::string &src, symbol_tablet &symbol_table, message_handlert &message_handler) |
void add_library | ( | const std::string & | src, |
symbol_tablet & | symbol_table, | ||
message_handlert & | message_handler | ||
) |
Definition at line 94 of file cprover_library.cpp.
void cprover_c_library_factory | ( | const std::set< irep_idt > & | functions, |
symbol_tablet & | symbol_table, | ||
message_handlert & | message_handler | ||
) |
Definition at line 79 of file cprover_library.cpp.
|
static |
Definition at line 17 of file cprover_library.cpp.
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 | ||
) |
Definition at line 42 of file cprover_library.cpp.