Skip to content

feat: Reintroduce concrete store #1454

feat: Reintroduce concrete store

feat: Reintroduce concrete store #1454

Triggered via pull request October 22, 2024 15:05
Status Failure
Total duration 7m 3s
Artifacts

build.yaml

on: pull_request
Matrix: Coverage
Matrix: Linux
Fit to window
Zoom out
Zoom in

Annotations

37 errors and 15 warnings
Linux (STP master)
Process completed with exit code 1.
Linux (Z3 only)
The job was canceled because "STP_master" failed.
Linux (LLVM 11, Doxygen)
The job was canceled because "STP_master" failed.
Linux (LLVM 11, Doxygen)
The operation was canceled.
Linux (No TCMalloc, optimised runtime)
The job was canceled because "STP_master" failed.
Linux (No TCMalloc, optimised runtime)
The operation was canceled.
Linux (Asserts disabled)
The job was canceled because "STP_master" failed.
Linux (Asserts disabled)
The operation was canceled.
Linux (Bitwuzla only)
The job was canceled because "STP_master" failed.
Linux (Bitwuzla only)
The operation was canceled.
Linux (LLVM 14)
The job was canceled because "STP_master" failed.
Linux (LLVM 14)
The operation was canceled.
Linux (Latest klee-uclibc)
The job was canceled because "STP_master" failed.
Linux (Latest klee-uclibc)
The operation was canceled.
Linux (LLVM 12)
The job was canceled because "STP_master" failed.
Linux (LLVM 12)
The operation was canceled.
Linux (LLVM 13)
The job was canceled because "STP_master" failed.
Linux (LLVM 13)
The operation was canceled.
Linux (LLVM 16)
The job was canceled because "STP_master" failed.
Linux (LLVM 16)
The operation was canceled.
Linux (metaSMT)
The job was canceled because "STP_master" failed.
Linux (metaSMT)
The operation was canceled.
Linux (ASan)
The job was canceled because "STP_master" failed.
Linux (ASan)
The operation was canceled.
Linux (LLVM 15)
The job was canceled because "STP_master" failed.
Linux (LLVM 15)
The operation was canceled.
Linux (UBSan)
The job was canceled because "STP_master" failed.
Linux (UBSan)
The operation was canceled.
Linux (MSan)
The job was canceled because "STP_master" failed.
Linux (MSan)
The operation was canceled.
macOS
Process completed with exit code 1.
Coverage (STP)
Process completed with exit code 1.
Coverage (Bitwuzla)
The job was canceled because "STP" failed.
Coverage (Bitwuzla)
The operation was canceled.
Coverage (Z3)
The job was canceled because "STP" failed.
Coverage (Z3)
The operation was canceled.
Docker
Process completed with exit code 1.
clang-format
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Linux (STP master)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
macOS
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
macOS
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.
macOS
cmake 3.30.5 is already installed and up-to-date. To reinstall 3.30.5, run: brew reinstall cmake
macOS
wget 1.24.5 is already installed and up-to-date. To reinstall 1.24.5, run: brew reinstall wget
macOS
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.
macOS
cmake 3.30.5 is already installed and up-to-date. To reinstall 3.30.5, run: brew reinstall cmake
macOS
wget 1.24.5 is already installed and up-to-date. To reinstall 1.24.5, run: brew reinstall wget
macOS
wget 1.24.5 is already installed and up-to-date. To reinstall 1.24.5, run: brew reinstall wget
macOS
python 3.13.0_1 already installed
macOS
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.0_1
macOS
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config
Coverage (STP)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Docker
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/