Skip to content

fix: consider all constants as double, compiled run matches interp now #83

fix: consider all constants as double, compiled run matches interp now

fix: consider all constants as double, compiled run matches interp now #83

Workflow file for this run

name: Linux Build
on: push
jobs:
build:
runs-on: ubuntu-latest
strategy:
matrix:
compiler: [g++-12, clang++]
target: [debug, all, cgoto]
cxxstd: [c++11, c++14, c++17, c++20]
fail-fast: false
steps:
- name: Set up LLVM and GCC
run: |
sudo apt-get update
sudo apt-get install llvm
sudo apt-get install clang
sudo apt-get install llvm-dev # For development headers
sudo apt-get install gcc-12
- uses: actions/checkout@v2
- name: ${{ matrix.target }} ${{ matrix.compiler }} ${{ matrix.cxxstd }}
env:
CXX: ${{ matrix.compiler }}
TARGET: ${{ matrix.target }}
CXXSTD: ${{ matrix.cxxstd }}
run: eval "${CXX}" -v && echo "${CXXSTD}" && make clean && make "${TARGET}" CXXSTD="${CXXSTD}" -j && make tests && make benchmark