Struct Config 

pub struct Config {
    pub use_4state: bool,
    pub use_jit: bool,
    pub dump_cranelift: bool,
    pub dump_asm: bool,
    pub disable_ff_opt: bool,
    pub aot_c: bool,
    pub aot_c_event: bool,
    pub aot_c_async: bool,
    pub aot_c_validate: bool,
    pub aot_c_min_stmts: usize,
}

Fields

use_4state: bool

use_jit: bool

dump_cranelift: bool

dump_asm: bool

disable_ff_opt: bool

Force all always_ff variables to FF (disable is_ff refinement).

aot_c: bool

cc backend: emit comb as C, compile externally, and dispatch the .so instead of the Cranelift loop (which still covers stmts it can’t emit, so keep use_jit true). Default false; --backend cc enables it.

aot_c_event: bool

cc backend event path: also emit the per-event FF-next + write-log. Requires aot_c.

aot_c_async: bool

Compile the .so on a background thread and hot-swap from Cranelift once ready, hiding the cold compile latency. Requires aot_c; forced off under aot_c_validate (validation must dual-run from cycle 0).

aot_c_validate: bool

Dual-run cc and Cranelift every cycle, panicking on the first divergence (correctness check). Implies a synchronous compile.

aot_c_min_stmts: usize

Minimum module statement count (comb + event) before cc is attempted. The external compile is a fixed per-module cost; on tiny modules it is pure overhead and floods the host across the fast suite. Default 0 (no floor, so tests exercise the path); --backend cc raises it to 256.

Implementations

impl Config

pub fn apply_env(&mut self)

Apply environment-variable overrides on top of an existing config.

impl Config

pub fn all() -> Vec<Config>

Trait Implementations

impl Clone for Config

fn clone(&self) -> Config

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Config

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

Formats the value using the given formatter.

impl Default for Config

fn default() -> Config

Returns the “default value” for a type.