add run-arm-tv.pl

.github/workflows/aslp.yml

@@ -21,6 +21,34 @@ jobs:
       with:
         name: pac-nix
         useDaemon: false
+    - run: ./build.sh
+      shell: "nix develop github:katrinafyi/pac-nix#alive2-aslp --command bash -e {0}"
+
+    # XXX this should be nixed eventually...
+    - run: sudo apt-get install libbsd-resource-perl libsys-cpu-perl
     - run: |
-        nix develop 'github:katrinafyi/pac-nix#alive2-aslp' \
-          --command ./build.sh
+        wget https://users.cs.utah.edu/~regehr/arm-tests.tar.bz2
+        tar xf arm-tests.tar.bz2
+        rm -rf logs
+
+    - name: ./backend_tv/scripts/run-arm-tv.pl
+      run: |
+        nix shell github:katrinafyi/pac-nix#aslp --command aslp-server >aslp-server.out &
+        ASLP_PID=$!
+
+        export TIMEOUT=3
+        export LLVMDIS=$(which llvm-dis)
+        export BACKENDTV=$(realpath build/backend-tv)
+
+        ./backend_tv/scripts/run-arm-tv.pl ./arm-tests
+
+        kill $ASLP_PID
+      shell: "nix develop github:katrinafyi/pac-nix#alive2-aslp --command bash -eo pipefail {0}"
+
+    - run: tar caf logs.tar.zst logs
+    - uses: actions/upload-artifact@v4
+      with:
+        name: logs
+        path: logs.tar.zst
+
+