diff --git a/.github/workflows/test-solver.yml b/.github/workflows/test-solver.yml index b76f0d75..f1088e65 100644 --- a/.github/workflows/test-solver.yml +++ b/.github/workflows/test-solver.yml @@ -32,11 +32,15 @@ jobs: poetry run smtcomp generate-test-script test_data/ ${{ steps.changed-files.outputs.all_changed_files }} rm -rf test_data/download + #upload-artifact lose permissions + -name: Archive directory + run: tar -cf test_data.tar test_data + - name: Upload generated test script uses: actions/upload-artifact@v4 with: name: generated_script - path: test_data/ + path: test_data.tar run-test-script: needs: generate-test-script @@ -47,10 +51,13 @@ jobs: uses: actions/download-artifact@v4 with: name: generated_script - path: test_data/ + path: test_data.tar + + - name: Unarchive + run: tar -xf test_data.tar - name: Show unpacked files - run: ls -lR test_data/unpack + run: ls -lR test_data/ - name: Run test script run: python3 test_data/test_script.py diff --git a/smtcomp/main.py b/smtcomp/main.py index 6987166f..64605f12 100644 --- a/smtcomp/main.py +++ b/smtcomp/main.py @@ -560,4 +560,6 @@ def read_submission(file: Path) -> defs.Submission: for _, logics in divisions.items(): for logic in logics: for status in [defs.Status.Sat, defs.Status.Unsat]: - write_test(out, track, logic, part, status, trivial_bench.relative_to(outdir), Path(".")) + write_test( + out, track, logic, part, status, trivial_bench.relative_to(outdir), Path(".") + )