pyk.testing.plugin module

bug_report(request: FixtureRequest, tmp_path: Path) → BugReport | None

kompile(tmp_path_factory: TempPathFactory) → Kompiler

load_kllvm(tmp_path_factory: TempPathFactory) → None

Generate and import the _kllvm bindings module.

Use this fixture in all tests that import from pyk.kllvm. It ensures transitive imports of _kllvm are successful.

Example

def test_symbol_name(load_kllvm: None) -> None:
    from pyk.kllvm.ast import Symbol

    name = "Lbl'UndsPlus'Int'Unds'"
    symbol = Symbol(name)
    assert symbol.name == name

profile(tmp_path: Path) → Profiler

pytest_addoption(parser: Parser) → None

use_server(request: FixtureRequest) → UseServer