pub struct SessionOptions {
    pub ignore_duplicate_defs: bool,
    pub trace_scoreboard: bool,
    pub verbosity: Verbosity,
    pub opt_level: usize,
}
Expand description

A set of options for a session.

The arguments passed on the command line are intended to modify these values in order to configure the execution of the program.

Fields

ignore_duplicate_defs: booltrace_scoreboard: bool

Print a trace of scoreboard invocations for debugging purposes.

verbosity: Verbosity

The verbosity options.

opt_level: usize

The optimization level.

Trait Implementations

Formats the value using the given formatter. Read more

Returns the “default value” for a type. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Performs the conversion.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.