Skip to content
CI

Create alpha-equvalency format solver #924

Sign in to view logs

Create alpha-equvalency format solver

Create alpha-equvalency format solver #924

Triggered via pull request October 17, 2023 02:46
@dim8artdim8art
synchronize #135
dim8art:AlphaEquiv
Status Failure
Total duration 53m 20s
Artifacts –

build.yaml

on: pull_request
macOS
10m 50s
macOS
Docker
11m 3s
Docker
clang-format
5m 34s
clang-format
Matrix: Coverage
Matrix: Linux
Fit to window
Zoom out
Zoom in

Annotations

32 errors and 1 warning
Linux (Asserts disabled)
Process completed with exit code 1.
Linux (No TCMalloc, optimised runtime)
The job was canceled because "Asserts_disabled" failed.
Linux (No TCMalloc, optimised runtime)
The operation was canceled.
Linux (Z3 only)
The job was canceled because "Asserts_disabled" failed.
Linux (Z3 only)
The operation was canceled.
Linux (LLVM 10)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 10)
The operation was canceled.
Linux (metaSMT)
The job was canceled because "Asserts_disabled" failed.
Linux (metaSMT)
The operation was canceled.
Linux (LLVM 11, Doxygen)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 11, Doxygen)
The operation was canceled.
Linux (MSan)
The job was canceled because "Asserts_disabled" failed.
Linux (MSan)
The operation was canceled.
Linux (LLVM 14)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 14)
The operation was canceled.
Linux (LLVM 12)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 12)
The operation was canceled.
Linux (Latest klee-uclibc)
The job was canceled because "Asserts_disabled" failed.
Linux (Latest klee-uclibc)
The operation was canceled.
Linux (ASan)
The job was canceled because "Asserts_disabled" failed.
Linux (ASan)
The operation was canceled.
Linux (UBSan)
The job was canceled because "Asserts_disabled" failed.
Linux (UBSan)
The operation was canceled.
Linux (LLVM 13)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 13)
The operation was canceled.
Linux (STP master)
The job was canceled because "Asserts_disabled" failed.
Linux (STP master)
The operation was canceled.
Linux (LLVM 9)
The job was canceled because "Asserts_disabled" failed.
Linux (LLVM 9)
Process completed with exit code 1.
Coverage (Z3)
Process completed with exit code 1.
Coverage (STP)
The job was canceled because "Z3" failed.
Coverage (STP)
The operation was canceled.
clang-format
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/