Skip to content

Create cvc5-cloud

Create cvc5-cloud #175

Workflow file for this run

name: TestSolver
on:
pull_request:
paths:
- submissions/*.json
jobs:
generate-test-script:
runs-on: ubuntu-latest
steps:
- name: Check out
uses: actions/checkout@v3
- uses: actions/cache@v3
with:
path: ~/.cache/pre-commit
key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}
- name: Set up the environment
uses: ./.github/actions/setup-poetry-env
- name: Compute changed files
id: changed-files
uses: tj-actions/changed-files@v41
with:
files: |
submissions/*.json
- name: Generate script
run: |
poetry run smtcomp generate-test-script test_data/ ${{ steps.changed-files.outputs.all_changed_files }}
rm -rf test_data/download
- 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.tar
run-test-script:
needs: generate-test-script
runs-on: ubuntu-latest
container: registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:latest
steps:
- name: Download generated test script
uses: actions/download-artifact@v4
with:
name: generated_script
- name: Unarchive
run: tar -xf test_data.tar
- name: Run test script
run: python3 test_data/test_script.py