Skip to main content

disable_solver_trace

Function disable_solver_trace 

pub fn disable_solver_trace() -> Vec<SolverTraceEntry>
Expand description

Disable per-solve tracing and return the accumulated trace entries. Returns an empty vec if tracing was not enabled.