Constants§
- ABI_
SELECTOR_ 🔒PLUS_ WORD_ LEN - ASSERTION_
FAILED_ 🔒PREFIX - ASSERT_
PANIC_ 🔒CODE - BUILTIN_
SYMBOLIC_ SOLVERS - Symbolic solver names with built-in command-line mappings.
- CALL_
VALUE_ 🔒STIPEND - CONCRETE_
BASE_ 🔒SYMBOLIC_ EXPONENT_ LIMIT - DEFAULT_
DERIVATION_ 🔒PATH_ PREFIX - ERROR_
DATA_ 🔒MIN_ LEN - ERROR_
SELECTOR 🔒 - EVM_
STACK_ 🔒LIMIT - HARD_
ARITH_ 🔒FALLBACK_ MAX_ ASSIGNMENTS - HARD_
ARITH_ 🔒FALLBACK_ MAX_ CANDIDATES_ PER_ VAR - HARD_
ARITH_ 🔒FALLBACK_ MAX_ VARS - INITIAL_
SOLVER_ 🔒POLL_ BACKOFF - MAX_
REMEMBER_ 🔒KEYS - MAX_
SOLVER_ 🔒POLL_ BACKOFF - PANIC_
SELECTOR 🔒 - PORTFOLIO_
SCHEDULER_ 🔒HISTORY - PORTFOLIO_
SCHEDULER_ 🔒MAX_ SPEED_ BONUS - PORTFOLIO_
SCHEDULER_ 🔒MIN_ RECENCY_ WEIGHT - PORTFOLIO_
SCHEDULER_ 🔒SPEED_ BONUS_ CAP_ MS - PRECOMPILE_
ADDRESS_ 🔒LEADING_ ZEROS - RESCUE_
PORTFOLIO_ 🔒SOLVER_ DELAY - SECOND_
PORTFOLIO_ 🔒SOLVER_ DELAY - SYMBOLIC_
EXP_ 🔒CONCRETE_ EXPONENT_ LIMIT - SYMBOLIC_
SOLVER_ 🔒MODEL_ CACHE_ MAX_ ENTRIES - SYMBOLIC_
SOLVER_ 🔒SAT_ CACHE_ MAX_ ENTRIES - SYMBOLIC_
VM_ 🔒COMPAT_ ADDRESS