Enable SMT solvers for unit-tests

KeYProject · Feb 23, 2025 · 5d728da · 5d728da
1 parent 7fefedb
commit 5d728da
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -30,6 +30,10 @@ jobs:
       GH_TOKEN: ${{ github.token }}
     steps:
       - uses: actions/checkout@v4
+
+      - name: Setup SMT solvers
+        uses: keyproject/setup-smt@v0
+
       - name: Set up JDK 21
         uses: actions/setup-java@v4
         with:
@@ -39,6 +43,7 @@ jobs:
 
       - name: Setup Gradle
         uses: gradle/actions/setup-gradle@v4
+
       - name: Test with Gradle
         run: ./gradlew --continue -DjacocoEnabled=true -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test
 
@@ -75,13 +80,6 @@ jobs:
           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: Setup SMT solvers
         uses: keyproject/setup-smt@v0