ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
logf_data.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  logf_data

Macros

#define LOGF_TABLE_BITS   4
#define LOGF_POLY_ORDER   4

Variables

const struct logf_data __logf_data

Macro Definition Documentation

◆ LOGF_POLY_ORDER

#define LOGF_POLY_ORDER   4

◆ LOGF_TABLE_BITS

#define LOGF_TABLE_BITS   4

Variable Documentation

◆ __logf_data

const struct logf_data __logf_data