cprover
Loading...
Searching...
No Matches
static_lifetime_init.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_LINKING_STATIC_LIFETIME_INIT_H
11#define CPROVER_LINKING_STATIC_LIFETIME_INIT_H
12
13#include <util/cprover_prefix.h>
14
16class symbol_tablet;
17
19 symbol_tablet &symbol_table,
20 const source_locationt &source_location);
21
22#define INITIALIZE_FUNCTION CPROVER_PREFIX "initialize"
23
24#endif // CPROVER_LINKING_STATIC_LIFETIME_INIT_H
The symbol table.
void static_lifetime_init(symbol_tablet &symbol_table, const source_locationt &source_location)