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 🔒