|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Go to the source code of this file.
Macros | |
| #define | PRECALC_NUM_MATRICES (8) |
| #define | PRECALC_BLOCK_SIZE (2) |
| #define | PRECALC_BLOCK_MASK ((1 << PRECALC_BLOCK_SIZE) - 1) |
| #define | XORWOW_SEQUENCE_SPACING (67) |
| #define PRECALC_BLOCK_MASK ((1 << PRECALC_BLOCK_SIZE) - 1) |
| #define PRECALC_BLOCK_SIZE (2) |
| #define PRECALC_NUM_MATRICES (8) |
| #define XORWOW_SEQUENCE_SPACING (67) |