cprover
static_lifetime_init.h File Reference
Include dependency graph for static_lifetime_init.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define INITIALIZE_FUNCTION   CPROVER_PREFIX "initialize"
 

Functions

bool static_lifetime_init (symbol_tablet &symbol_table, const source_locationt &source_location, message_handlert &message_handler)
 

Macro Definition Documentation

◆ INITIALIZE_FUNCTION

Function Documentation

◆ static_lifetime_init()