diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-10-21 19:32:08 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-21 19:32:08 -0500 |
commit | 81d4a2a0e337e341ac1373de0be8762617372ffc (patch) | |
tree | eec38cb65373f9df09fde442fc69bd2088f7d005 /.github/actions/run-tests/action.yml | |
parent | 638c0bfdc798116925f839118dffd86581a58d43 (diff) | |
parent | f9de5395d78bc5338ca800e539e91795730cbd29 (diff) |
Merge branch 'master' into fixErrorSetfixErrorSet
Diffstat (limited to '.github/actions/run-tests/action.yml')
-rw-r--r-- | .github/actions/run-tests/action.yml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.github/actions/run-tests/action.yml b/.github/actions/run-tests/action.yml index e5557bb2d..2b2326699 100644 --- a/.github/actions/run-tests/action.yml +++ b/.github/actions/run-tests/action.yml @@ -7,6 +7,10 @@ inputs: default: false check-unit-tests: default: true + regressions-args: + default: "--no-check-unsat-cores --no-check-proofs" + regressions-exclude: + default: "3-4" runs: using: composite steps: @@ -15,9 +19,9 @@ runs: run: | make -j${{ env.num_proc }} check env: - ARGS: --output-on-failure -LE regress[${{ matrix.exclude_regress }}] + ARGS: --output-on-failure -LE regress[${{ inputs.regressions-exclude }}] CVC5_REGRESSION_ARGS: --no-early-exit - RUN_REGRESSION_ARGS: ${{ matrix.run_regression_args }} + RUN_REGRESSION_ARGS: ${{ inputs.regressions-args }} working-directory: build - name: Run Unit Tests |