Struct Config

pub struct Config {
    pub trace_parser: bool,
    pub trace_checker: bool,
    pub std_in: Option<Box<dyn Read + Sync + Send>>,
    pub std_out: Option<Box<dyn Write + Sync + Send>>,
    pub std_err: Option<Box<dyn Write + Sync + Send>>,
}

Fields

trace_parser: bool

print debug info in parser

trace_checker: bool

print debug info in checker

std_in: Option<Box<dyn Read + Sync + Send>>

custom std in

std_out: Option<Box<dyn Write + Sync + Send>>

custom std out

std_err: Option<Box<dyn Write + Sync + Send>>

custom std err

Trait Implementations

impl Default for Config

fn default() -> Config

Returns the “default value” for a type.