Add sv-comp CI run #7
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: "SV-Comp test suite" | |
| on: | |
| workflow_run: | |
| workflows: [Build] | |
| types: | |
| - completed | |
| branches: | |
| - "master" | |
| pull_request: | |
| branches: | |
| - '*' | |
| jobs: | |
| build: | |
| name: "Build VAST" | |
| strategy: | |
| matrix: | |
| llvm-version: [17] | |
| image-version: [22.04] | |
| runs-on: ubuntu-${{ matrix.image-version }} | |
| timeout-minutes: 60 | |
| container: | |
| image: | |
| ghcr.io/trailofbits/vast-ubuntu-${{ matrix.image-version }}-llvm-${{ matrix.llvm-version }}-dev:latest | |
| env: | |
| CMAKE_PREFIX_PATH: "/usr/lib/llvm-${{ matrix.llvm-version }}/lib/cmake/mlir/;/usr/lib/llvm-${{ matrix.llvm-version }}/lib/cmake/clang/" | |
| TOOLCHAIN: ${{ github.workspace }}/cmake/lld.toolchain.cmake | |
| LLVM_EXTERNAL_LIT: "/usr/local/bin/lit" | |
| steps: | |
| - name: Clone the VAST repository | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: true | |
| fetch-depth: 1 | |
| - name: Configure build | |
| run: | | |
| cmake --preset ninja-multi-default --toolchain ${TOOLCHAIN} \ | |
| -DCMAKE_VERBOSE_MAKEFILE=True \ | |
| -DCMAKE_PREFIX_PATH=${CMAKE_PREFIX_PATH} \ | |
| -DLLVM_EXTERNAL_LIT=${LLVM_EXTERNAL_LIT} | |
| - name: Build release | |
| run: | | |
| cmake --build --preset ninja-rel -j $(nproc) | |
| cpack -G TXZ --config ./builds/ninja-multi-default/CPackConfig.cmake | |
| - name: Upload VAST build artifact | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: VAST | |
| path: ./builds/ninja-multi-default/package/* | |
| retention-days: 1 | |
| test: | |
| name: "Run SV-Comp test suite" | |
| needs: build | |
| strategy: | |
| matrix: | |
| llvm-version: [17] | |
| image-version: [22.04] | |
| vast-target: ['hl'] | |
| runs-on: ubuntu-${{ matrix.image-version }} | |
| timeout-minutes: 360 | |
| container: | |
| image: | |
| ghcr.io/trailofbits/vast-ubuntu-${{ matrix.image-version }}-llvm-${{ matrix.llvm-version }}-dev:latest | |
| steps: | |
| - name: Fetch VAST artifact | |
| uses: actions/download-artifact@v4 | |
| with: | |
| name: VAST | |
| - name: Unpack VAST | |
| run: | | |
| mkdir vast && tar -xf VAST-* -C vast --strip-components=1 | |
| - name: Export vast binaries | |
| run: | | |
| echo "${PWD}/vast/bin/" >> $GITHUB_PATH | |
| - name: Install test suite dependencies | |
| run: | | |
| apt-get update | |
| apt-get -y install git | |
| - name: Clone test suite repository | |
| run: | | |
| git clone --depth=1 https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.git | |
| - name: Clone patch repository | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: trailofbits/sv-bench-patch | |
| ref: ci-version | |
| path: sv-bench-patch | |
| fetch-depth: 1 | |
| - name: Apply patch | |
| working-directory: sv-bench-patch | |
| run: | | |
| ./apply | |
| - name: Run benchmarks | |
| run: | | |
| sh ./sv-bench-patch/compile-all.sh -d ./sv-benchmarks | |
| - name: Upload results | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| path: ./stats | |
| name: results-${{ matrix.vast-target }} |