Function example_lib

tests/conftest.py:23–29

()

@pytest.fixture(scope="session")
def example_lib() -> LeanLibrary:
    add_lean_lib_to_dyld_path()
    return LeanLibrary.from_lake(
        Path(__file__).parent / "lean",
        "TestLib",
        build=True,
    )


def pytest_collection_modifyitems(config, items):