Crate flux_config

Source

Modules§

flags

Structs§

InferOpts
Options that change the behavior of refinement type inference locally
PartialInferOpts

Enums§

PointerWidth
SmtSolver
Value
Representation of a TOML value.

Statics§

CONFIG_FILE

Functions§

annots
cache_path
catch_bugs
check_def
check_overflow 🔒
config_path 🔒
dump_checker_trace
dump_constraint
dump_fhir
dump_mir
dump_rty
full_compilation
is_cache_enabled
is_checked_file
log_dir
pointer_width
scrape_quals 🔒
smt_define_fun
solver 🔒
timings
verbose
verify