riscv32 toolchain via nix test

Author: philzook58

.github/workflows/python-package.yml

@@ -23,6 +23,9 @@ jobs:
       #  uses: actions/setup-python@v3
       #  with:
       #    python-version: ${{ matrix.python-version }}
+      - uses: cachix/install-nix-action@v31
+        with:
+          nix_path: nixpkgs=channel:nixos-unstable
       - name: Set up Rust
         uses: actions-rust-lang/setup-rust-toolchain@v1
       - name: Set up Lean

tests/test_pcode.py

@@ -168,4 +168,23 @@ def test_cli():
         f.write(code)
         f.flush()
     res = subprocess.run("python3 -m kdrag.contrib.pcode /tmp/mov42.s", shell=True, capture_output=True, text=True)
-    assert "verification conditions failed. ❌❌❌❌" in res.stdout
+    assert "verification conditions failed. ❌❌❌❌" in res.stdout
+
+@pytest.mark.slow
+def test_riscv32():
+    code = """
+    .include "/tmp/knuckle.s"
+        .text
+        .globl  myfunc
+    kd_entry myfunc, "true"
+        addi    sp, sp, -4       # make room on the stack
+        li      t0, 42           # t0 ← 42
+        sw      t0, 0(sp)        # [sp] = 42
+    kd_exit myfunc_end,  "(= (select ram32 sp) (_ bv42 32))"
+        ret
+    """
+    with open("/tmp/mov42.s", "w") as f:
+        f.write(code)
+        f.flush()
+    res = subprocess.run("""nix-shell -p pkgsCross.riscv32-embedded.buildPackages.gcc \
+        --run "riscv32-none-elf-as /tmp/mov42.s -o /tmp/mov42.o" """, shell=True, check=True, capture_output=True, text=True)