Skip to content
CMake

Update z3 submodule to version 4.13.0 #452

Sign in to view logs

Update z3 submodule to version 4.13.0

Update z3 submodule to version 4.13.0 #452

Workflow file for this run

.github/workflows/cmake.yml at c28c770
name: CMake
on: [push, pull_request]
jobs:
ubuntu-address-undefined-coverage:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get install -y cmake lcov
- name: Configure CMake
run: cmake -B build -DCMAKE_BUILD_TYPE=Debug -DENABLE_ASAN=ON -DENABLE_UBSAN=ON -DENABLE_COV=ON
- name: Build
run: cmake --build build --config Debug
- name: Test with address sanitizer, undefined behavior sanitizer and coverage
working-directory: build
run: ctest -C Debug --rerun-failed --output-on-failure -T Test -T Coverage
- name: Make coverage report
run: |
lcov --capture --directory build --output-file coverage.info
lcov --remove coverage.info '/usr/*' --output-file coverage.info
lcov --list coverage.info
- name: Upload coverage reports to Codecov
uses: codecov/[email protected]
with:
token: ${{ secrets.CODECOV_TOKEN }}
ubuntu-memcheck:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get install -y cmake valgrind
- name: Configure CMake
run: cmake -B build -DCMAKE_BUILD_TYPE=Debug
- name: Build
run: cmake --build build --config Debug
- name: Test with memory checker
working-directory: build
run: ctest -C Debug --rerun-failed --output-on-failure -T Test -T MemCheck
windows-debug:
runs-on: windows-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Install dependencies
run: |
choco install cmake
- name: Configure CMake
run: cmake -B build -DCMAKE_BUILD_TYPE=Debug
- name: Build
run: cmake --build build --config Debug
- name: Test with address sanitizer
working-directory: build
run: ctest -C Debug --rerun-failed --output-on-failure -T Test
macos-address-undefined:
runs-on: macos-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Install dependencies
run: |
brew install cmake
- name: Configure CMake
run: cmake -B build -DCMAKE_BUILD_TYPE=Debug -DENABLE_ASAN=ON -DENABLE_UBSAN=ON
- name: Build
run: cmake --build build --config Debug
- name: Test with address sanitizer and undefined behavior sanitizer
working-directory: build
run: ctest -C Debug --rerun-failed --output-on-failure -T Test
ubuntu-release:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get install -y cmake
- name: Configure CMake
run: cmake -B build -DCMAKE_BUILD_TYPE=Release
- name: Build
run: cmake --build build --config Release
- name: Test
working-directory: build
run: ctest -C Release --rerun-failed --output-on-failure -T Test
windows-release:
runs-on: windows-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Install dependencies
run: |
choco install cmake
- name: Configure CMake
run: cmake -B build -DCMAKE_BUILD_TYPE=Release
- name: Build
run: cmake --build build --config Release
- name: Test
working-directory: build
run: ctest -C Release --rerun-failed --output-on-failure -T Test
macos-release:
runs-on: macos-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Install dependencies
run: |
brew install cmake
- name: Configure CMake
run: cmake -B build -DCMAKE_BUILD_TYPE=Release
- name: Build
run: cmake --build build --config Release
- name: Test
working-directory: build
run: ctest -C Release --rerun-failed --output-on-failure -T Test