Crate flux_config

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
• dump_timings
• is_cache_enabled
• is_checked_file
• log_dir
• pointer_width
• scrape_quals 🔒
• solver 🔒