Merge pull request #325 from ftsrg/fix-memloc #247
RipplBlinux-build-test-deploy.yml
on: push
build
7m 49s
Matrix: test-docker
create-spec-transformation
12s
deploy-maven
0s
deploy-docs
26s
collect-results
2m 41s
Annotations
2 warnings
|
test-docker (theta-cfa-cli)
Failed to download action 'https://api.github.com/repos/docker/setup-buildx-action/tarball/2a1a44ac4aa01993040736bd95bb470da1a38365'. Error: Response status code does not indicate success: 502 (Bad Gateway). 5C01:2D148E:44B5B28:879D0FA:674742AE
|
|
test-docker (theta-cfa-cli)
Back off 11.942 seconds before retry.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults
|
11.6 MB |
|
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
166 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
174 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
171 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
404 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
402 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
405 KB |
|
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
289 KB |
|
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
295 KB |
|
|
BenchexecResults-SV-COMP25_termination-HORN
|
330 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
308 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
273 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
312 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
48.5 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
46.6 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
47.2 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
275 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
232 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
255 KB |
|
|
EmergenTheta_SV-COMP
|
497 MB |
|
|
ThetaJars
|
493 MB |
|
|
Theta_SV-COMP
|
497 MB |
|
|
Thorn_SV-COMP
|
497 MB |
|
|
specification-transformation
|
58 MB |
|