Skip to content
Linux build-test-deploy

XCFA-refactor 2023 [draft] #541

Sign in to view logs

XCFA-refactor 2023 [draft]

XCFA-refactor 2023 [draft] #541

Re-run triggered November 24, 2023 07:35
@leventeBajczileventeBajczi
#198
xcfa-refactor
Status Cancelled
Total duration 5m 5s
Artifacts 3

linux-build-test-deploy.yml

on: pull_request
build
5m 51s
build
Matrix: test-docker
deploy-docs
0s
deploy-docs
Matrix: test-linux
Matrix: test-benchexec
create-archives
3m 16s
create-archives
javadoc
4m 25s
javadoc
Matrix: deploy-docker
deploy-release
0s
deploy-release
deploy-maven
0s
deploy-maven
collect-results
0s
collect-results
Fit to window
Zoom out
Zoom in

Annotations

16 errors
test-benchexec (ConcurrencySafety-MemSafety)
The operation was canceled.
test-benchexec (NoDataRace-Main)
The operation was canceled.
test-benchexec (ConcurrencySafety-Main)
The operation was canceled.
test-benchexec (ReachSafety-Combinations)
The operation was canceled.
test-benchexec (ConcurrencySafety-NoOverflows)
The operation was canceled.
test-benchexec (ReachSafety-Sequentialized)
The operation was canceled.
test-benchexec (ReachSafety-Recursive)
The operation was canceled.
test-benchexec (ReachSafety-Hardware)
The operation was canceled.
test-benchexec (ReachSafety-XCSP)
The operation was canceled.
test-benchexec (ReachSafety-Floats)
The operation was canceled.
test-benchexec (ReachSafety-Loops)
The operation was canceled.
test-benchexec (ReachSafety-ECA)
The operation was canceled.
test-benchexec (ReachSafety-BitVectors)
The operation was canceled.
test-benchexec (ReachSafety-Heap)
The operation was canceled.
test-benchexec (ReachSafety-Arrays)
The operation was canceled.
test-benchexec (ReachSafety-ControlFlow)
The operation was canceled.

Artifacts

Produced during runtime
Name Size
EmergenTheta_SV-COMP Expired
209 MB
ThetaJars Expired
302 MB
Theta_SV-COMP Expired
209 MB