LTL checking capability #246
RipplBlinux-build-test-deploy.yml
on: push
build
5m 51s
Matrix: test-docker
create-spec-transformation
13m 21s
deploy-maven
0s
deploy-docs
19s
collect-results
2m 2s
Annotations
1 error
|
test-linux (ubuntu-24.04)
Gradle build failed: see console output for details
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults
|
14.9 MB |
|
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
193 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
166 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
194 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
1.07 MB |
|
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
1.15 MB |
|
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
1.1 MB |
|
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
553 KB |
|
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
552 KB |
|
|
BenchexecResults-SV-COMP25_termination-HORN
|
568 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
305 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
269 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
311 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
47.7 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
46.5 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
46.4 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
284 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
234 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
260 KB |
|
|
EmergenTheta_SV-COMP
|
503 MB |
|
|
ThetaJars
|
510 MB |
|
|
Theta_SV-COMP
|
503 MB |
|
|
Thorn_SV-COMP
|
503 MB |
|
|
specification-transformation
|
58 MB |
|