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

Method test_enable_trace

tests/test_z3_ported.py:4359–4360  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

4357
4358class TestUtilities:
4359 def test_enable_trace(self):
4360 enable_trace("smt") # no-op
4361
4362 def test_disable_trace(self):
4363 disable_trace("smt") # no-op

Callers

nothing calls this directly

Calls 1

enable_traceFunction · 0.90

Tested by

no test coverage detected