ECBS modifications #1927
mondokmlinux-build-test-deploy.yml
on: pull_request
build
7m 17s
Matrix: test-docker
create-spec-transformation
10s
deploy-maven
0s
deploy-docs
24s
collect-results
3m 16s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults
|
11.8 MB |
|
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
189 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
177 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
200 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
422 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
424 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
439 KB |
|
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
290 KB |
|
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
295 KB |
|
|
BenchexecResults-SV-COMP25_termination-HORN
|
330 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
310 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
275 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
320 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
46.7 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
46.2 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
47.7 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
287 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
241 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
267 KB |
|
|
EmergenTheta_SV-COMP
|
503 MB |
|
|
ThetaJars
|
510 MB |
|
|
Theta_SV-COMP
|
503 MB |
|
|
Thorn_SV-COMP
|
503 MB |
|
|
specification-transformation
|
58 MB |
|