Function require_request_path

tests/miocodec/miocodec_python_warm_bench.py:73–77

(request: dict[str, Any], key: str)

def require_request_path(request: dict[str, Any], key: str) -> Path:
    value = request.get(key)
    if not isinstance(value, str) or not value:
        raise RuntimeError(f"MioCodec warmbench request missing required field: {key}")
    return Path(value)


def sync_device(backend: str, device: int) -> None: