mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

CI: add test for --single-threaded

Browse source
This commit is contained in:
Nuno Lopes 2019-06-12 09:53:43 +01:00
parent 5c05b62025
commit 3f5cea4a9e
1 changed files with 11 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
azure-pipelines.yml
View file

@ -10,8 +10,14 @@ jobs:
displayName: "Ubuntu build - python make - debug" displayName: "Ubuntu build - python make - debug"
pool: pool:
vmImage: "Ubuntu-16.04" vmImage: "Ubuntu-16.04"
strategy:
matrix:
MT:
cmdLine: 'python scripts/mk_make.py -d --java --dotnet'
ST:
cmdLine: './configure --single-threaded'
steps: steps:
- script: python scripts/mk_make.py -d --java --dotnet - script: $(cmdLine)
- script: | - script: |
cd build cd build
make make
@ -19,7 +25,7 @@ jobs:
make test-z3 make test-z3
./cpp_example ./cpp_example
./c_example ./c_example
cd .. cd ..
- template: scripts/test-z3.yml - template: scripts/test-z3.yml
- template: scripts/regression-test.yml - template: scripts/regression-test.yml
@ -44,6 +50,9 @@ jobs:
debugGcc: debugGcc:
cmdLine: 'CC=gcc CXX=g++ cmake $(cmakeStdArgs)' cmdLine: 'CC=gcc CXX=g++ cmake $(cmakeStdArgs)'
runUnitTest: 'True' runUnitTest: 'True'
releaseSTGcc:
cmdLine: 'CC=gcc CXX=g++ cmake -DCMAKE_BUILD_TYPE=Release -DSINGLE_THREADED=ON $(cmakeStdArgs)'
runUnitTest: 'True'
# gccX86: # gccX86:
# cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)' # cmdLine: 'CXXFLAGS="${CXXFLAGS} -m32" CFLAGS="${CFLAGS} -m32" CC=gcc-5 CXX=g++-5 cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo $(cmakeStdArgs)'
# runUnitTest: 'True' # runUnitTest: 'True'
@ -135,11 +144,3 @@ jobs:
cd .. cd ..
- template: scripts/test-z3.yml - template: scripts/test-z3.yml
- template: scripts/regression-test.yml - template: scripts/regression-test.yml