ci:

misonijnik · Oct 6, 2024 · 57380f3 · 57380f3
1 parent 815aa8a
commit 57380f3
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -38,6 +38,7 @@ env:
   Z3_VERSION: 4.8.15
   SQLITE_VERSION: 3400100
   BITWUZLA_VERSION: 0.3.1
+  SMITHRIL_VERSION: v0.0.2
   JSON_VERSION: v3.11.3
   IMMER_VERSION: v0.8.1
 
@@ -60,6 +61,7 @@ jobs:
           "metaSMT",
           "STP master",
           "Bitwuzla only",
+          "Smithril only",
           "Latest klee-uclibc",
           "Asserts disabled",
           "No TCMalloc, optimised runtime",
@@ -125,6 +127,10 @@ jobs:
           - name: "Bitwuzla only"
             env:
               SOLVERS: BITWUZLA
+          # Test just using Smithril only
+          - name: "Smithril only"
+            env:
+              SOLVERS: SMITHRIL
           # Check we can build latest klee-uclibc branch
           - name: "Latest klee-uclibc"
             env: