Make the SMT-LIB 2.6 "" string escape the default (#417) #1490
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| push: | |
| branches: | |
| - '**' | |
| pull_request: | |
| branches: | |
| - '**' | |
| jobs: | |
| build-push: | |
| if: github.event_name == 'push' | |
| strategy: | |
| matrix: | |
| os: [ubuntu-latest] | |
| mode: [debug, release] | |
| config-opt: [--enable-mcsat] | |
| env: [CC=gcc CXX=g++] | |
| include: | |
| - os: ubuntu-latest | |
| mode: gcov | |
| config-opt: --enable-mcsat | |
| env: CC=gcc-13 CXX=g++-13 | |
| - os: ubuntu-latest | |
| mode: debug | |
| config-opt: --enable-thread-safety --enable-mcsat | |
| env: CC=gcc CXX=g++ | |
| - os: ubuntu-latest | |
| mode: release | |
| config-opt: --enable-thread-safety --enable-mcsat | |
| env: CC=gcc CXX=g++ | |
| - os: ubuntu-latest | |
| mode: gcov | |
| config-opt: --enable-thread-safety --enable-mcsat | |
| env: CC=gcc-13 CXX=g++-13 | |
| name: ${{ matrix.os }}|${{ matrix.mode }}|${{ matrix.config-opt }}|${{ matrix.env }} (push) | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v5 | |
| - name: Install Dependencies | |
| uses: ./.github/actions/install-dependencies | |
| - name: Build | |
| uses: ./.github/actions/build | |
| with: | |
| mode: ${{ matrix.mode }} | |
| config-opt: ${{ matrix.config-opt }} | |
| env: ${{ matrix.env }} | |
| - name: Test | |
| uses: ./.github/actions/test | |
| env: | |
| TIME_LIMIT: ${{ matrix.mode == 'gcov' && contains(matrix.config-opt, '--enable-thread-safety') && contains(matrix.config-opt, '--enable-mcsat') && '120' || '60' }} | |
| REGRESS_EXCLUDE_FILTER: ${{ (matrix.mode == 'gcov' && contains(matrix.config-opt, '--enable-thread-safety') && contains(matrix.config-opt, '--enable-mcsat')) && 'iss517.smt2$\|simple_processors_002_002_0008.smt2$' || (((matrix.mode == 'debug' || matrix.mode == 'gcov') && contains(matrix.config-opt, '--enable-mcsat')) && 'simple_processors_002_002_0008.smt2$' || '') }} | |
| with: | |
| mode: ${{ matrix.mode }} | |
| # Coverage is uploaded once per commit. The push build uploads it only | |
| # for master (the baseline); pull-request builds upload it for PRs. This | |
| # avoids two runs racing to close the same Coveralls build for one commit. | |
| - name: Coverage | |
| if: matrix.mode == 'gcov' && matrix.config-opt == '--enable-mcsat' && github.ref == 'refs/heads/master' | |
| uses: ./.github/actions/coverage | |
| - name: Coveralls | |
| if: matrix.mode == 'gcov' && matrix.config-opt == '--enable-mcsat' && github.ref == 'refs/heads/master' | |
| # Best-effort: don't fail CI on a Coveralls outage. | |
| continue-on-error: true | |
| uses: coverallsapp/github-action@v2.3.6 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| path-to-lcov: 'coverage.info' | |
| build-pr: | |
| if: github.event_name == 'pull_request' | |
| strategy: | |
| matrix: | |
| os: [ubuntu-latest, macos-latest] | |
| mode: [debug, release] | |
| config-opt: [--enable-mcsat, --enable-thread-safety] | |
| env: [CC=gcc CXX=g++, CC=clang CXX=clang++] | |
| exclude: | |
| - os: macos-latest | |
| env: CC=gcc CXX=g++ | |
| include: | |
| - os: ubuntu-latest | |
| mode: gcov | |
| config-opt: --enable-mcsat | |
| env: CC=gcc-13 CXX=g++-13 | |
| - os: ubuntu-latest | |
| mode: debug | |
| config-opt: --enable-thread-safety --enable-mcsat | |
| env: CC=gcc CXX=g++ | |
| - os: ubuntu-latest | |
| mode: release | |
| config-opt: --enable-thread-safety --enable-mcsat | |
| env: CC=gcc CXX=g++ | |
| - os: ubuntu-latest | |
| mode: gcov | |
| config-opt: --enable-thread-safety --enable-mcsat | |
| env: CC=gcc-13 CXX=g++-13 | |
| - os: macos-latest | |
| mode: debug | |
| config-opt: --enable-thread-safety --enable-mcsat | |
| env: CC=clang CXX=clang++ | |
| - os: macos-latest | |
| mode: release | |
| config-opt: --enable-thread-safety --enable-mcsat | |
| env: CC=clang CXX=clang++ | |
| name: ${{ matrix.os }}|${{ matrix.mode }}|${{ matrix.config-opt }}|${{ matrix.env }} (pr) | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v5 | |
| - name: Install Dependencies | |
| uses: ./.github/actions/install-dependencies | |
| - name: Build | |
| uses: ./.github/actions/build | |
| with: | |
| mode: ${{ matrix.mode }} | |
| config-opt: ${{ matrix.config-opt }} | |
| env: ${{ matrix.env }} | |
| - name: Test | |
| uses: ./.github/actions/test | |
| env: | |
| TIME_LIMIT: ${{ matrix.mode == 'gcov' && contains(matrix.config-opt, '--enable-thread-safety') && contains(matrix.config-opt, '--enable-mcsat') && '120' || '60' }} | |
| REGRESS_EXCLUDE_FILTER: ${{ (matrix.mode == 'gcov' && contains(matrix.config-opt, '--enable-thread-safety') && contains(matrix.config-opt, '--enable-mcsat')) && 'iss517.smt2$\|simple_processors_002_002_0008.smt2$' || (((matrix.mode == 'debug' || matrix.mode == 'gcov') && contains(matrix.config-opt, '--enable-mcsat')) && 'simple_processors_002_002_0008.smt2$' || '') }} | |
| with: | |
| mode: ${{ matrix.mode }} | |
| - name: Coverage | |
| if: matrix.mode == 'gcov' && matrix.config-opt == '--enable-mcsat' | |
| uses: ./.github/actions/coverage | |
| - name: Coveralls | |
| if: matrix.mode == 'gcov' && matrix.config-opt == '--enable-mcsat' | |
| # Best-effort: don't fail CI on a Coveralls outage. | |
| continue-on-error: true | |
| uses: coverallsapp/github-action@v2.3.6 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| path-to-lcov: 'coverage.info' |