Skip to content
Linux build-test-deploy

XCFA-refactor 2023 [draft] #562

Sign in to view logs

XCFA-refactor 2023 [draft]

XCFA-refactor 2023 [draft] #562

Triggered via pull request January 7, 2024 20:05
@leventeBajczileventeBajczi
synchronize #198
xcfa-refactor
Status Failure
Total duration 11m 52s
Artifacts 3

linux-build-test-deploy.yml

on: pull_request
build
5m 1s
build
Matrix: test-docker
deploy-docs
0s
deploy-docs
Matrix: test-linux
Matrix: test-benchexec
create-archives
3m 32s
create-archives
javadoc
4m 15s
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

18 errors
test-benchexec (ReachSafety-Recursive)
Process completed with exit code 1.
test-benchexec (ReachSafety-Sequentialized)
Process completed with exit code 1.
test-benchexec (ReachSafety-Heap)
Process completed with exit code 1.
test-benchexec (ReachSafety-Combinations)
Process completed with exit code 1.
test-benchexec (NoDataRace-Main)
Process completed with exit code 1.
test-benchexec (ReachSafety-ControlFlow)
Process completed with exit code 1.
test-benchexec (ReachSafety-ProductLines)
Process completed with exit code 1.
test-benchexec (ReachSafety-ECA)
Process completed with exit code 1.
test-benchexec (ReachSafety-Hardware)
Process completed with exit code 1.
test-benchexec (ReachSafety-ECA)
The job was canceled because "ReachSafety-Recursive" failed.
test-benchexec (ReachSafety-Loops)
Process completed with exit code 1.
test-benchexec (ReachSafety-Arrays)
Process completed with exit code 1.
test-benchexec (ConcurrencySafety-Main)
Process completed with exit code 1.
test-benchexec (ReachSafety-BitVectors)
Process completed with exit code 1.
test-benchexec (ReachSafety-Floats)
The operation was canceled.
test-benchexec (ConcurrencySafety-NoOverflows)
The operation was canceled.
test-benchexec (ReachSafety-XCSP)
The operation was canceled.
test-benchexec (ConcurrencySafety-MemSafety)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
EmergenTheta_SV-COMP Expired
210 MB
ThetaJars Expired
235 MB
Theta_SV-COMP Expired
210 MB