MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / disable_trace

Function disable_trace

lean_py/z3/core.py:4335–4337  ·  view source on GitHub ↗

Disable Z3 tracing (no-op).

(tag: str)

Source from the content-addressed store, hash-verified

4333
4334
4335def disable_trace(tag: str) -> None:
4336 """Disable Z3 tracing (no-op)."""
4337 pass
4338
4339
4340def open_log(filename: str) -> None:

Callers 1

test_disable_traceMethod · 0.90

Calls

no outgoing calls

Tested by 1

test_disable_traceMethod · 0.72