Only run soltest with --no-ipc.

This commit is contained in:
Daniel Kirchner 2018-11-08 19:38:13 +01:00
parent d33d4b02a9
commit 6f13647923

View File

@ -167,7 +167,6 @@ jobs:
TERM: xterm TERM: xterm
CC: /usr/bin/clang-7 CC: /usr/bin/clang-7
CXX: /usr/bin/clang++-7 CXX: /usr/bin/clang++-7
IPC_ENABLED: false
steps: steps:
- checkout - checkout
- run: - run:
@ -291,13 +290,12 @@ jobs:
- run: - run:
name: Install dependencies name: Install dependencies
command: | command: |
pacman --noconfirm -Syu --noprogressbar --needed boost python2 wget perl z3 cvc4 leveldb git openssh tar pacman --noconfirm -Syu --noprogressbar --needed boost z3 cvc4 git openssh tar
ln -sf /usr/bin/core_perl/shasum /usr/bin
- checkout - checkout
- attach_workspace: - attach_workspace:
at: build at: build
- run: mkdir -p test_results - run: mkdir -p test_results
- run: *run_tests - run: build/test/soltest --logger=JUNIT,test_suite,test_results/result.xml -- --no-ipc --testpath test
- store_test_results: - store_test_results:
path: test_results/ path: test_results/
- store_artifacts: - store_artifacts: