Merge pull request #25 from DRMacIver/DRMacIver/ci

Add CI workflow

Author: DRMacIver

.github/workflows/ci.yml

@@ -0,0 +1,28 @@
+name: CI
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["3.11", "3.12"]
+    steps:
+    - uses: actions/checkout@v4
+    - name: Install uv
+      uses: astral-sh/setup-uv@v3
+      with:
+        version: "latest"
+    - name: Set up Python ${{ matrix.python-version }}
+      run: uv python install ${{ matrix.python-version }}
+    - name: Install system dependencies
+      run: |
+        sudo apt-get update
+        sudo apt-get install -y minisat
+    - name: Install Python dependencies
+      run: uv sync --extra dev
+    - name: Run tests
+      run: uv run python -m pytest tests/

noxfile.py

@@ -12,7 +12,7 @@
 
 
 package = "shrinkray"
-python_versions = ["3.11"]
+python_versions = ["3.12"]
 nox.needs_version = ">= 2021.6.6"
 nox.options.sessions = (
     "lint",

pyproject.toml

@@ -36,6 +36,10 @@ dev = [
     "hypothesis>=6.92.1",
     "hypothesmith>=0.3.1",
     "black",
+    "pytest",
+    "pytest-trio",
+    "coverage[toml]",
+    "pygments",
 ]
 
 [tool.setuptools.packages.find]

pytest.ini

@@ -1,2 +1,3 @@
 [pytest]
 trio_mode = true
+addopts = -v

tests/test_clang_delta.py

@@ -17,7 +17,7 @@
 
 
 @pytest.mark.parametrize("transformation", TRANSFORMATIONS)
-@pytest.mark.parametrize("source", [BAD_HELLO, CRASHER])
+@pytest.mark.parametrize("source", [BAD_HELLO, CRASHER], ids=["BAD_HELLO", "CRASHER"])
 async def test_can_apply_transformations(transformation, source):
     cd_exec = find_clang_delta()
     assert os.path.exists(cd_exec)