Crate flux_config

Source

Structsยง

Config ๐Ÿ”’
InferOpts
Options that change the behavior of refinement type inference locally
PartialInferOpts
Paths ๐Ÿ”’

Enumsยง

PointerWidth
SmtSolver
Value
Representation of a TOML value.

Constantsยง

FLUX_CONFIG_ENV_VAR ๐Ÿ”’
FLUX_ENV_VAR_PREFIX ๐Ÿ”’

Staticsยง

CONFIG ๐Ÿ”’
CONFIG_FILE
CONFIG_PATH

Functionsยง

cache_path
catch_bugs
check_def
check_overflow ๐Ÿ”’
dump_checker_trace
dump_constraint
dump_fhir
dump_mir
dump_rty
is_cache_enabled
is_checked_file
log_dir
pointer_width
scrape_quals ๐Ÿ”’
smt_define_fun
solver ๐Ÿ”’