Skip to content

Tests

Tests #2635

Workflow file for this run

name: Tests
on:
workflow_dispatch:
push:
branches: [ "main" ]
pull_request:
branches:
- "main"
- "KeY-*"
merge_group:
permissions:
contents: write
issues: write
pull-requests: write
id-token: write
checks: write
jobs:
unit-tests:
strategy:
fail-fast: false
matrix:
os: [ubuntu-latest, windows-latest]
java: [21]
continue-on-error: true
runs-on: ${{ matrix.os }}
env:
GH_TOKEN: ${{ github.token }}
steps:
- uses: actions/checkout@v4
- name: Set up JDK 21
uses: actions/setup-java@v4
with:
java-version: ${{ matrix.java }}
distribution: 'corretto'
cache: 'gradle'
- name: Setup Gradle
uses: gradle/actions/[email protected]
- name: Test with Gradle
run: ./gradlew --continue -DjacocoEnabled=true -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test
- name: Upload test results
uses: actions/upload-artifact@v4
if: success() || failure()
with:
name: test-results-${{ matrix.os }}
path: |
**/build/test-results/*/*.xml
**/build/reports/
!**/jacocoTestReport.xml
- name: Upload coverage reports to Codecov
uses: codecov/codecov-action@v4
integration-tests:
env:
GH_TOKEN: ${{ github.token }}
continue-on-error: true
strategy:
fail-fast: false
matrix:
test: [testProveRules, testRunAllFunProofs, testRunAllInfProofs]
os: [ubuntu-latest]
java: [21]
runs-on: ${{ matrix.os }}
steps:
- uses: actions/checkout@v4
- name: Set up JDK 21
uses: actions/setup-java@v4
with:
java-version: ${{ matrix.java }}
distribution: 'corretto'
cache: 'gradle'
- name: Cache SMT-Solvers
id: smt-solvers
uses: actions/cache@v4
with:
path: smt-solvers
key: ${{ runner.os }}-smt-solvers
- name: Install SMT-Solvers
run: .github/dlsmt.sh
shell: bash
- name: Setup Gradle
uses: gradle/actions/[email protected]
- name: "Running tests: ${{ matrix.test }}"
run: ./gradlew --continue ${{ matrix.test }}
- name: Upload test results
uses: actions/upload-artifact@v4
if: success() || failure() # run this step even if previous step failed
with:
name: test-results-${{ matrix.test }}
path: |
**/build/test-results/*/*.xml
key.core/build/reports/runallproofs/*
**/build/reports/