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

Function kernel

tests/test_kernel_extra.py:23–28  ·  view source on GitHub ↗
(example_lib)

Source from the content-addressed store, hash-verified

21
22@pytest.fixture(scope="module")
23def kernel(example_lib) -> Kernel:
24 k = Kernel(example_lib)
25 if not k.is_loaded():
26 k.init_search("")
27 k.load(["Init"])
28 return k
29
30
31# ----------------------------------------------------------------------

Callers

nothing calls this directly

Calls 4

is_loadedMethod · 0.95
init_searchMethod · 0.95
loadMethod · 0.95
KernelClass · 0.90

Tested by

no test coverage detected