IC3 #1985
Triggered via pull request
February 25, 2025 10:33
leventeBajczi
Status
Failure
Total duration
1h 28m 47s
Artifacts
24
linux-build-test-deploy.yml
on: pull_request
build
5m 47s
Matrix: test-docker
create-spec-transformation
12s
deploy-maven
0s
deploy-docs
22s
collect-results
2m 24s
Annotations
1 error
|
test-linux (ubuntu-24.04)
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults
|
11.2 MB |
|
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
188 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
175 KB |
|
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
195 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
404 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
420 KB |
|
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
433 KB |
|
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
288 KB |
|
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
290 KB |
|
|
BenchexecResults-SV-COMP25_termination-HORN
|
327 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
310 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
276 KB |
|
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
320 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
47.6 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
46.5 KB |
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
47.3 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
284 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
242 KB |
|
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
261 KB |
|
|
EmergenTheta_SV-COMP
|
503 MB |
|
|
ThetaJars
|
511 MB |
|
|
Theta_SV-COMP
|
503 MB |
|
|
Thorn_SV-COMP
|
503 MB |
|
|
specification-transformation
|
58 MB |
|