add more check

meelgroup · Jan 23, 2025 · 7b6b30e · 7b6b30e
1 parent 5e77a4e
commit 7b6b30e
Showing 1 changed file with 11 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -59,14 +59,21 @@ jobs:
       run: |
         mkdir build
         cd build
-        cmake -DNOCRYPTOMINISAT:BOOL=ON -DENABLE_TESTING:BOOL=OFF -DPYTHON_EXECUTABLE:PATH="$(which python3)" ..
+        cmake -DNOCRYPTOMINISAT:BOOL=OFF -DENABLE_TESTING:BOOL=OFF -DPYTHON_EXECUTABLE:PATH="$(which python3)" ..
 
     - name: Build
       run: cmake --build . --parallel "$(nproc)"
       working-directory: build
 
-    # - name: Test
-    #   run: ctest --parallel "$(nproc)" -VV --output-on-failure
-    #   working-directory: build
+    - name: Run CSB
+      run: |
+        output=$(./csb -c ../examples/bench_1059.smt2)
+        echo "$output"
+        echo "$output" | grep -q "s mc 483328" || { echo "Not expected count found!"; exit 1; }
+      working-directory: build
+
+      # - name: Test
+      #   run: ctest --parallel "$(nproc)" -VV --output-on-failure
+      #   working-directory: build
 
 # EOF