Struct TraceConfig 

pub struct TraceConfig {
    pub lake_root: Utf8PathBuf,
    pub recursive: bool,
    pub timeout: Duration,
    pub keep_raw_output: bool,
    pub include_warnings: bool,
    pub include_passes: bool,
    pub exclude: Vec<String>,
}

User-configurable tracing settings.

Fields

lake_root: Utf8PathBuf

Root of the Lean/Lake workspace.

recursive: bool

Whether directories should be searched recursively.

timeout: Duration

Process timeout per Lean file.

keep_raw_output: bool

Keep raw stdout/stderr in trace records.

include_warnings: bool

Include warnings in parsed diagnostics.

include_passes: bool

Include passing files in JSONL output.

exclude: Vec<String>

Substrings; a discovered file is skipped if its path contains any of them.

Implementations

impl TraceConfig

pub fn new(lake_root: Utf8PathBuf) -> Self

Construct a default trace config rooted at the current working directory.

pub const fn recursive(self, recursive: bool) -> Self

Set recursive directory traversal.

pub const fn timeout(self, timeout: Duration) -> Self

Set process timeout.

pub const fn keep_raw_output(self, keep_raw_output: bool) -> Self

Set raw-output retention.

Trait Implementations

impl Clone for TraceConfig

fn clone(&self) -> TraceConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraceConfig

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TraceConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TraceConfig

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.