flux_
config
0.1.0
All Items
Crate Items
Modules
Structs
Enums
Statics
Functions
Crate
flux_config
Copy item path
Source
Modules
§
flags
Structs
§
Infer
Opts
Options that change the behavior of refinement type inference locally
Partial
Infer
Opts
Enums
§
Pointer
Width
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