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

try eq syntax

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-06-07 10:01:06 -07:00
parent 66283a1722
commit f065a6b13b
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
azure-pipelines.yml
View file

@ -39,19 +39,19 @@ jobs:
matrix: matrix:
debugClang: debugClang:
cmdLine: 'CC=clang CXX=clang++ cmake $(cmakeStdArgs)' cmdLine: 'CC=clang CXX=clang++ cmake $(cmakeStdArgs)'
runUnitTest: True runUnitTest: 'True'
releaseClang: releaseClang:
cmdLine: 'CC=clang CXX=clang++ cmake -DCMAKE_BUILD_TYPE=Release $(cmakeStdArgs)' cmdLine: 'CC=clang CXX=clang++ cmake -DCMAKE_BUILD_TYPE=Release $(cmakeStdArgs)'
runUnitTest: True runUnitTest: 'True'
debugGcc: debugGcc:
cmdLine: 'CC=gcc CXX=g++ cmake $(cmakeStdArgs)' cmdLine: 'CC=gcc CXX=g++ cmake $(cmakeStdArgs)'
runUnitTest: True 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'
asan: asan:
cmdLine: '$(asanEnv) cmake $(cmakeStdArgs)' cmdLine: '$(asanEnv) cmake $(cmakeStdArgs)'
runUnitTest: False runUnitTest: 'False'
steps: steps:
- script: sudo apt-get install ninja-build - script: sudo apt-get install ninja-build
- script: | - script: |
@ -79,7 +79,7 @@ jobs:
cd build cd build
./test-z3 -a ./test-z3 -a
cd .. cd ..
condition: $(runUnitTest) condition: eq(variables['runUnitTest'], 'True')
- script: git clone https://github.com/z3prover/z3test z3test - script: git clone https://github.com/z3prover/z3test z3test
- script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2 - script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2