build: add noodler test

VeriFIT · Dec 22, 2024 · f1de783 · f1de783
1 parent a439155
commit f1de783
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -41,3 +41,11 @@ jobs:
           cd build
           cmake -DCMAKE_BUILD_TYPE="Release" ../
           make -j4
+      
+      - name: Test Z3-Noodler
+        run: |
+          mkdir build
+          cd build
+          cmake -DCMAKE_BUILD_TYPE="Release" ../
+          make -j4 test-noodler
+          ./test-noodler