Struct WriteOpts 

pub struct WriteOpts {
    pub variable_prefix: String,
    pub enum_prefix: String,
    pub types: bool,
    pub just_smt: bool,
    pub define_enum: bool,
}

Options for writing event traces

Fields

variable_prefix: String

A prefix for all variable identifiers

enum_prefix: String

The prefix for enumeration members

types: bool

Will add type annotations to DefineConst constructors

just_smt: bool

If true, just print the SMT parts of the trace. When false, the trace is also wrapped in a (trace ...) S-expression.

define_enum: bool

Print the sizes of enumerations declared during symbolic evaluation.

Implementations

impl WriteOpts

pub fn smtlib() -> Self

Trait Implementations

impl Default for WriteOpts

fn default() -> Self

Returns the “default value” for a type.