Merge pull request #325 from ftsrg/fix-memloc #1886
leventeBajczilinux-build-test-deploy.yml
on: push
build
8m 6s
Matrix: test-docker
create-spec-transformation
11s
deploy-maven
0s
deploy-docs
44s
collect-results
1m 45s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults
|
10.5 MB |
|
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
162 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
175 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
166 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
405 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
413 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
406 KB |
|
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
284 KB |
|
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
292 KB |
|
|
BenchexecResults-SV-COMP25_termination-HORN
|
326 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
310 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
268 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
315 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
48.8 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
46.4 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
47.8 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
277 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
234 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
256 KB |
|
|
EmergenTheta_SV-COMP
|
497 MB |
|
|
ThetaJars
|
493 MB |
|
|
Theta_SV-COMP
|
497 MB |
|
|
Thorn_SV-COMP
|
497 MB |
|
|
specification-transformation
|
58 MB |
|