z3-src 503.2.2

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33


variables:
  cmakeJulia: '-DZ3_BUILD_JULIA_BINDINGS=True'
  cmakeJava: '-DZ3_BUILD_JAVA_BINDINGS=True'
  cmakeNet: '-DZ3_BUILD_DOTNET_BINDINGS=True'
  cmakePy:  '-DZ3_BUILD_PYTHON_BINDINGS=True'
  cmakeStdArgs: '-DZ3_BUILD_DOTNET_BINDINGS=True -DZ3_BUILD_JAVA_BINDINGS=True -DZ3_BUILD_PYTHON_BINDINGS=True'
  cmakeCovArgs: '-DCMAKE_INSTALL_PREFIX=./build/install'
  asanEnv: 'CXXFLAGS="${CXXFLAGS} -fsanitize=address -fno-omit-frame-pointer" CFLAGS="${CFLAGS} -fsanitize=address -fno-omit-frame-pointer"'
  ubsanEnv: 'CXXFLAGS="${CXXFLAGS} -fsanitize=undefined" CFLAGS="${CFLAGS} -fsanitize=undefined"'
  msanEnv: 'CC=clang LDFLAGS="-L../libcxx/libcxx_msan/lib -lc++abi -Wl,-rpath=../libcxx/libcxx_msan/lib" CXX=clang++ CXXFLAGS="${CXXFLAGS} -stdlib=libc++ -fsanitize-memory-track-origins -fsanitize=memory -fPIE -fno-omit-frame-pointer -g -O2" CFLAGS="${CFLAGS} -stdlib=libc -fsanitize=memory -fsanitize-memory-track-origins -fno-omit-frame-pointer -g -O2"'

jobs:
 
- job: "UbuntuCMakeCoverage"
  displayName: "Ubuntu build - cmake w/ coverage"
  pool:
    vmImage: "ubuntu-latest"
  steps:
    - script: sudo apt-get install ninja-build 
    - script: |
        set -e
        CXXFLAGS=--coverage LDFLAGS=-lgcov CC=clang CXX=clang++ cmake -G "Ninja" -S . -B build -DCMAKE_BUILD_TYPE=Debug $(cmakeCovArgs)
        cmake --build build
        cmake --build build --target test-z3
        cmake --install build
    - script: |
         cd build
         ./test-z3 -a
         cd ..
    - template: test-examples-cmake.yml
    - template: test-regressions-coverage.yml