fixed k-fair, liveness cli, and logging #65
linux-build-test-deploy.yml
on: push
build
7m 41s
Matrix: test-docker
create-spec-transformation
16s
deploy-maven
0s
deploy-docs
25s
collect-results
1m 51s
Annotations
1 error and 3 warnings
|
test-linux (ubuntu-24.04)
Gradle build failed: see console output for details
|
|
build
Failed to restore v8-gradle|Linux|linux build-test-deploy-build[37a6259cc0c1dae299a7866489dff0bd]-14eedfd47a1ca25acdf27cfad104d6697329d255: Error: Cache service responded with 400
|
|
test-linux (ubuntu-24.04)
Failed to restore v8-gradle|Linux|linux build-test-deploy-test-linux[1ecf9abe85b4662c0855e61aba0e8e74]-14eedfd47a1ca25acdf27cfad104d6697329d255: Error: Cache service responded with 400
|
|
javadoc
Failed to restore v8-gradle|Linux|linux build-test-deploy-javadoc[37a6259cc0c1dae299a7866489dff0bd]-14eedfd47a1ca25acdf27cfad104d6697329d255: Error: Cache service responded with 400
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
BenchexecResults
|
11.9 MB |
sha256:9a255f7d6848c9a1734dda861c18a82ca928442bd68e237e6e7595d2c01a617c
|
|
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
183 KB |
sha256:07c40e630109f8bc152a1279e536d308d136cc1954599ff66ce24d1c09a2bac8
|
|
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
175 KB |
sha256:536d21704307e008198e708868ecea8ce405e05fa5df302fc0ed3b2c4f847d72
|
|
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
197 KB |
sha256:c218cb4815648f4b3e87a09b452ab3bc479e7bfa53c476cf23507e3e024ca537
|
|
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
410 KB |
sha256:5ff276a0a81ad83b3ae93fbe744e656ec75970f978a6d8b65c6962293392192e
|
|
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
409 KB |
sha256:8f9d750e72a46e1e1ec07ac041117e93f1b12b87aa89d74bf3bb87752d33a833
|
|
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
417 KB |
sha256:9e19717683403d8ee5a02b07faedd26d71b3d79517e0d4e757ee77c872396363
|
|
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
286 KB |
sha256:08c17bf454cd96c8a76730f2bde2e07b8fc7f222e41dd4d8c58b23f01802b63d
|
|
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
333 KB |
sha256:4606593dbc25df0ea7e9b9366df18ec3d41dc75f0edabc02c21743c5619aa569
|
|
|
BenchexecResults-SV-COMP25_termination-HORN
|
315 KB |
sha256:281d2aae844a78a5200056e045d444da3e9458d8f8853fb263d88a8e925fe3b3
|
|
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
308 KB |
sha256:61f90ab139893e57997b7dfc966501b498f0eff688d1cf0abb767f734399df03
|
|
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
292 KB |
sha256:035d7f054518e05087a81e44ac453bc0c015949ae8a29fda835b166bdaa51b7c
|
|
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
322 KB |
sha256:e6b4d06ce5c4338901d5157f739ed8bb499b755251a695277db72c5dfcc4c3ce
|
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
48.5 KB |
sha256:7b28829fd4ea117f774c75f381a0ad01694288386bf1cb8942dc1c3ddd93422c
|
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
46.9 KB |
sha256:1b7278202e6060b2dabf1b3d53e37216d06eff79f99bf900c49b6bc0a0c57bce
|
|
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
47.6 KB |
sha256:dbe081f1290d9d6fc86bb03feafac14f25c5f4299d5b061ea26b333bb5fd06f5
|
|
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
288 KB |
sha256:8a6b258438911ee28637aa2f0d35754cdda6c92254cb3e8bc46b05048d034fd4
|
|
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
242 KB |
sha256:f6214b4622c035be0c7d4e7c620cd8f061a249ae1915682bb05c99ca58beac84
|
|
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
263 KB |
sha256:6c194f135af5294ab3e5ae8bb13ea185f671ab57698727d10826bedd22b43ad9
|
|
|
EmergenTheta_SV-COMP
|
491 MB |
sha256:712a004424d5544cf97fb787f11273937ee7f0dfd1929ec8cf2f1bdde30f9578
|
|
|
ThetaJars
|
588 MB |
sha256:52de918d3b0577c709b963221d42668c58683ec9cc2ab9daaa20889eec25a6bc
|
|
|
Theta_SV-COMP
|
491 MB |
sha256:d3f039b967dc4e7d87e08309a2c445afe7b1f4b8240ba509a055d3fda094fdee
|
|
|
Thorn_SV-COMP
|
491 MB |
sha256:727c963731deb95286a5f3e24ddfb0b7112bd8fed459d2eee08f700187d4fa50
|
|
|
specification-transformation
|
58 MB |
sha256:4b55673bedb8f64c56bb91879bcb6353ab69810d60c1d3de4415c69d2c407a63
|
|