Fix IC3 counterexample generation #1972
linux-build-test-deploy.yml
on: push
build
6m 14s
Matrix: test-docker
create-spec-transformation
16s
deploy-maven
0s
deploy-docs
21s
collect-results
1m 32s
Annotations
1 error
test-linux (ubuntu-24.04)
Gradle build failed: see console output for details
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
BenchexecResults
|
11.7 MB |
|
BenchexecResults-SV-COMP25_no-data-race-BOUNDED
|
185 KB |
|
BenchexecResults-SV-COMP25_no-data-race-CEGAR
|
175 KB |
|
BenchexecResults-SV-COMP25_no-data-race-HORN
|
199 KB |
|
BenchexecResults-SV-COMP25_no-overflow-BOUNDED
|
423 KB |
|
BenchexecResults-SV-COMP25_no-overflow-CEGAR
|
435 KB |
|
BenchexecResults-SV-COMP25_no-overflow-HORN
|
431 KB |
|
BenchexecResults-SV-COMP25_termination-BOUNDED
|
286 KB |
|
BenchexecResults-SV-COMP25_termination-CEGAR
|
297 KB |
|
BenchexecResults-SV-COMP25_termination-HORN
|
331 KB |
|
BenchexecResults-SV-COMP25_unreach-call-BOUNDED
|
310 KB |
|
BenchexecResults-SV-COMP25_unreach-call-CEGAR
|
276 KB |
|
BenchexecResults-SV-COMP25_unreach-call-HORN
|
322 KB |
|
BenchexecResults-SV-COMP25_valid-memcleanup-BOUNDED
|
47.8 KB |
|
BenchexecResults-SV-COMP25_valid-memcleanup-CEGAR
|
46 KB |
|
BenchexecResults-SV-COMP25_valid-memcleanup-HORN
|
47.4 KB |
|
BenchexecResults-SV-COMP25_valid-memsafety-BOUNDED
|
290 KB |
|
BenchexecResults-SV-COMP25_valid-memsafety-CEGAR
|
246 KB |
|
BenchexecResults-SV-COMP25_valid-memsafety-HORN
|
264 KB |
|
EmergenTheta_SV-COMP
|
503 MB |
|
ThetaJars
|
511 MB |
|
Theta_SV-COMP
|
503 MB |
|
Thorn_SV-COMP
|
503 MB |
|
specification-transformation
|
58 MB |
|