Skip to content

Pull in the IDESolver++ (aka. IterativeIDESolver) #1257

Pull in the IDESolver++ (aka. IterativeIDESolver)

Pull in the IDESolver++ (aka. IterativeIDESolver) #1257

Workflow file for this run

name: Phasar CI
on:
push:
branches: [ master, development ]
pull_request:
branches: [ master, development ]
jobs:
build:
runs-on: ubuntu-20.04
strategy:
fail-fast: true
matrix:
compiler: [ [clang++-14, clang-14] ]
build: [ Debug, Release, DebugLibdeps ]
include:
- build: Debug
cmake_build_type: Debug
flags: -DPHASAR_ENABLE_SANITIZERS=ON
- build: Release
cmake_build_type: Release
flags: -DPHASAR_ENABLE_DYNAMIC_LOG=OFF -DPHASAR_BUILD_DYNLIB=ON -DPHASAR_ENABLE_SANITIZERS=ON
- build: DebugLibdeps
cmake_build_type: Debug
flags: -DPHASAR_DEBUG_LIBDEPS=ON -DBUILD_SHARED_LIBS=ON
continue-on-error: false
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
submodules: recursive
- name: Install Phasar Dependencies
shell: bash
run: |
./utils/InstallAptDependencies.sh
sudo apt-get -y install --no-install-recommends libboost-graph-dev
- name: Install Strategy Dependencies
shell: bash
run: |
sudo apt-key adv --fetch-keys https://apt.llvm.org/llvm-snapshot.gpg.key
sudo add-apt-repository -y 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-14 main'
sudo apt-get update
sudo apt-get -y install --no-install-recommends \
${{ matrix.compiler[1] }} \
llvm-14-dev \
libllvm14 \
libclang-common-14-dev \
libclang-14-dev \
libclang-cpp14-dev \
clang-tidy-14 \
libclang-rt-14-dev
- uses: swift-actions/setup-swift@v2
with:
swift-version: "5.8.1"
- name: Building Phasar in ${{ matrix.build }} with ${{ matrix.compiler[0] }}
env:
CXX: ${{ matrix.compiler[0] }}
CC: ${{ matrix.compiler[1] }}
shell: bash
run: |
mkdir build
cd build
cmake .. \
-DCMAKE_BUILD_TYPE=${{ matrix.cmake_build_type }} \
-DBUILD_SWIFT_TESTS=ON \
-DPHASAR_USE_Z3=ON \
${{ matrix.flags }} \
-G Ninja
cmake --build .
- name: Run Unittests
shell: bash
run: |
cd build
cmake --build . --target check-phasar-unittests