cprover
Loading...
Searching...
No Matches
cprover_library.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9
10#ifndef CPROVER_ANSI_C_CPROVER_LIBRARY_H
11#define CPROVER_ANSI_C_CPROVER_LIBRARY_H
12
13#include <set>
14
15#include <util/irep.h>
16
18class symbol_tablet;
19
21{
22 const char *function;
23 const char *model;
24};
25
26std::string get_cprover_library_text(
27 const std::set<irep_idt> &functions,
28 const symbol_tablet &,
29 const struct cprover_library_entryt[],
30 const std::string &prologue);
31
32void add_library(
33 const std::string &src,
36
38 const std::set<irep_idt> &functions,
41
42#endif // CPROVER_ANSI_C_CPROVER_LIBRARY_H
std::string get_cprover_library_text(const std::set< irep_idt > &functions, const symbol_tablet &, const struct cprover_library_entryt[], const std::string &prologue)
void add_library(const std::string &src, symbol_tablet &, message_handlert &)
void cprover_c_library_factory(const std::set< irep_idt > &functions, symbol_tablet &, message_handlert &)
The symbol table.