re-added tracegen as a separate test method #1906
szdan97linux-build-test-deploy.yml
on: push
build
5m 45s
Matrix: test-docker
create-spec-transformation
11s
deploy-maven
0s
deploy-docs
20s
collect-results
0s
Annotations
20 errors
|
test-docker (theta-xcfa-cli)
buildx failed with: ERROR: failed to solve: process "/bin/sh -c ./gradlew clean && ./gradlew theta-xcfa-cli:build && mv subprojects/xcfa/xcfa-cli/build/libs/theta-xcfa-cli-*-all.jar /theta-xcfa-cli.jar" did not complete successfully: exit code: 1
|
|
test-linux (ubuntu-24.04)
Gradle build failed: see console output for details
|
|
test-benchexec (SV-COMP25_valid-memsafety, CEGAR)
Process completed with exit code 1.
|
|
test-benchexec (SV-COMP25_valid-memcleanup, HORN)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_valid-memsafety, BOUNDED)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_valid-memsafety, HORN)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_termination, HORN)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_termination, CEGAR)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_no-overflow, CEGAR)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_no-data-race, HORN)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_valid-memcleanup, BOUNDED)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_no-overflow, BOUNDED)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_no-data-race, BOUNDED)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_unreach-call, HORN)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_no-overflow, HORN)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_termination, BOUNDED)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_no-data-race, CEGAR)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_unreach-call, BOUNDED)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_unreach-call, CEGAR)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
|
test-benchexec (SV-COMP25_valid-memcleanup, CEGAR)
The job was canceled because "SV-COMP25_valid-memsafety" failed.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
EmergenTheta_SV-COMP
|
497 MB |
|
|
ThetaJars
|
493 MB |
|
|
Theta_SV-COMP
|
497 MB |
|
|
Thorn_SV-COMP
|
497 MB |
|
|
specification-transformation
|
58 MB |
|