Fix horn solving for termination #1979
leventeBajczilinux-build-test-deploy.yml
on: pull_request
build
6m 6s
Matrix: test-docker
create-spec-transformation
11s
deploy-maven
0s
deploy-docs
19s
collect-results
2m 8s
Annotations
2 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
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults
|
12.5 MB |
|
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
189 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
282 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
197 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
427 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
414 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
426 KB |
|
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
325 KB |
|
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
333 KB |
|
|
BenchexecResults-SV-COMP25_termination-HORN
|
378 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
371 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
351 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
419 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
47.1 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
47 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
47.5 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
361 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
325 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
384 KB |
|
|
EmergenTheta_SV-COMP
|
503 MB |
|
|
ThetaJars
|
510 MB |
|
|
Theta_SV-COMP
|
503 MB |
|
|
Thorn_SV-COMP
|
503 MB |
|
|
specification-transformation
|
58 MB |
|