Skip to content
CI

[fix] Model objects for ctype_* functions for 32-bit executables. Han… #153

Sign in to view logs

[fix] Model objects for ctype_* functions for 32-bit executables. Han…

[fix] Model objects for ctype_* functions for 32-bit executables. Han… #153

Triggered via push July 1, 2024 16:08
@S1eGaS1eGa
pushed d06bf85
main
Status Cancelled
Total duration 39s
Artifacts –

build.yaml

on: push
macOS
0s
macOS
Docker
25s
Docker
clang-format
12s
clang-format
Matrix: Coverage
Matrix: Linux
Fit to window
Zoom out
Zoom in

Annotations

41 errors
macOS
The run was canceled by @S1eGa.
Linux (Z3 only)
The run was canceled by @S1eGa.
clang-format
The run was canceled by @S1eGa.
Linux (UBSan)
The run was canceled by @S1eGa.
Linux (UBSan)
The operation was canceled.
Linux (LLVM 11, Doxygen)
The run was canceled by @S1eGa.
Linux (LLVM 11, Doxygen)
The operation was canceled.
Linux (LLVM 14)
The run was canceled by @S1eGa.
Linux (LLVM 14)
The operation was canceled.
Linux (LLVM 10)
The run was canceled by @S1eGa.
Linux (LLVM 10)
The operation was canceled.
Docker
The run was canceled by @S1eGa.
Coverage (Z3)
The run was canceled by @S1eGa.
Docker
The operation was canceled.
Coverage (Z3)
The operation was canceled.
Coverage (Bitwuzla)
The run was canceled by @S1eGa.
Coverage (Bitwuzla)
The operation was canceled.
Linux (MSan)
The run was canceled by @S1eGa.
Linux (Bitwuzla only)
The run was canceled by @S1eGa.
Linux (MSan)
The operation was canceled.
Linux (Bitwuzla only)
The operation was canceled.
Linux (Latest klee-uclibc)
The run was canceled by @S1eGa.
Linux (Latest klee-uclibc)
The operation was canceled.
Linux (LLVM 13)
The run was canceled by @S1eGa.
Linux (LLVM 13)
The operation was canceled.
Linux (metaSMT)
The run was canceled by @S1eGa.
Linux (metaSMT)
The operation was canceled.
Linux (No TCMalloc, optimised runtime)
The run was canceled by @S1eGa.
Linux (Asserts disabled)
The run was canceled by @S1eGa.
Linux (LLVM 12)
The run was canceled by @S1eGa.
Linux (LLVM 12)
The operation was canceled.
Linux (Asserts disabled)
The operation was canceled.
Linux (No TCMalloc, optimised runtime)
The operation was canceled.
Linux (LLVM 9)
The run was canceled by @S1eGa.
Linux (LLVM 9)
The operation was canceled.
Linux (ASan)
The run was canceled by @S1eGa.
Linux (ASan)
The operation was canceled.
Coverage (STP)
The run was canceled by @S1eGa.
Coverage (STP)
The operation was canceled.
Linux (STP master)
The run was canceled by @S1eGa.
Linux (STP master)
The operation was canceled.