cprover
|
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 |
Magic numbers used throughout the codebase.
Definition in file magic.h.
const std::size_t CNF_DUMP_BLOCK_SIZE = 4096 |
Definition at line 10 of file magic.h.
Referenced by dimacs_cnft::write_clauses().
const std::size_t MAX_CONCRETE_STRING_SIZE = 1 << 26 |
Definition at line 14 of file magic.h.
Referenced by get_array().
const std::size_t MAX_FLATTENED_ARRAY_SIZE =1000 |
Definition at line 11 of file magic.h.
Referenced by boolbvt::is_unbounded_array(), and linker_script_merget::ls_data2instructions().
const std::size_t STRING_REFINEMENT_MAX_CHAR_WIDTH = 16 |
Definition at line 12 of file magic.h.
Referenced by is_char_type().