mechanical-refactor-verify

1import subprocess2import sys3from pathlib import Path4 5import pytest6 7sys.path.insert(0, str(Path(__file__).resolve().parents[2]))8 9from generator_testlib import _git10from mechanical_refactor_proof_generator import (11    infer_recipe,12    recipe_to_script,13)14 15 16@pytest.fixture17def repo(tmp_path: Path) -> Path:18    root = tmp_path / "repo"19    root.mkdir()20    _git(root, "init", "-q")21    _git(root, "config", "user.email", "test@example.com")22    _git(root, "config", "user.name", "test")23    _git(root, "config", "commit.gpgsign", "false")24    return root25