Update ci -- run mcsat with thread-safety (#468)

* run thread safety with mcsat * Update ci.yml
SRI-CSL · Oct 10, 2023 · 1b9d96e · 1b9d96e
1 parent 95f13c6
commit 1b9d96e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/.github/actions/build/action.yml b/.github/actions/build/action.yml
@@ -14,7 +14,7 @@ runs:
   using: composite
   steps:
     - name: Build and install libpoly
-      if: inputs.config-opt == '--enable-mcsat'
+      if: contains(inputs.config-opt, '--enable-mcsat')
       shell: bash
       run: |
         pushd .
@@ -26,7 +26,7 @@ runs:
         sudo make install
         popd
     - name: Build and install CUDD
-      if: inputs.config-opt == '--enable-mcsat'
+      if: contains(inputs.config-opt, '--enable-mcsat')
       shell: bash
       run: |
         pushd .

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,6 +17,10 @@ jobs:
             mode: gcov
             config-opt: --enable-mcsat
             env: CC=gcc CXX=g++
+          - os: ubuntu-latest
+            mode: debug
+            config-opt: --enable-thread-safety --enable-mcsat
+            env: CC=gcc CXX=g++
 
     name: ${{ matrix.os }}|${{ matrix.mode }}|${{ matrix.config-opt }}|${{ matrix.env }}
     runs-on: ${{ matrix.os }}
@@ -48,4 +52,4 @@ jobs:
       uses: coverallsapp/github-action@master
       with:
         github-token: ${{ secrets.GITHUB_TOKEN }}
-        path-to-lcov: 'coverage.info'
+        path-to-lcov: 'coverage.info'