Struct FluxMetadata

pub struct FluxMetadata {
    pub enabled: bool,
    pub cache: Option<bool>,
    pub solver: Option<SmtSolver>,
    pub scrape_quals: Option<bool>,
    pub check_overflow: Option<bool>,
    pub smt_define_fun: Option<bool>,
}

Fields

enabled: bool

cache: Option<bool>

Enables fixpoint query caching. Saves cache in target/FLUXCACHE

solver: Option<SmtSolver>

Set the default solver

scrape_quals: Option<bool>

Enable qualifier scrapping in fixpoint

check_overflow: Option<bool>

Enable overflow checking

smt_define_fun: Option<bool>

Enable overflow checking

Implementations

impl FluxMetadata

pub fn into_flags(self, target_dir: &Utf8Path) -> Vec<String>

Trait Implementations

impl Debug for FluxMetadata

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for FluxMetadata

fn default() -> FluxMetadata

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FluxMetadata

where FluxMetadata: Default,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.