CBMC
|
Magic numbers used throughout the codebase. More...
#include <cstddef>
Go to the source code of this file.
Variables | |
const std::size_t | CNF_DUMP_BLOCK_SIZE = 4096 |
const std::size_t | MAX_FLATTENED_ARRAY_SIZE =1000 |
const std::size_t | STRING_REFINEMENT_MAX_CHAR_WIDTH = 16 |
const std::size_t | MAX_CONCRETE_STRING_SIZE = 1 << 26 |
constexpr std::size_t | DSTRING_NUMBERS_MAX = 64 |
constexpr std::size_t | DEFAULT_MAX_FIELD_SENSITIVITY_ARRAY_SIZE = 64 |
Limit the size of arrays for which field_sensitivity gets applied. More... | |
Magic numbers used throughout the codebase.
Definition in file magic.h.
|
constexpr |