Skip to content

Fix IC3 counterexample generation #1972

Fix IC3 counterexample generation

Fix IC3 counterexample generation #1972

Triggered via push February 20, 2025 10:05
Status Failure
Total duration 30m 37s
Artifacts 24
Matrix: test-docker
create-spec-transformation
16s
create-spec-transformation
deploy-maven
0s
deploy-maven
deploy-docs
21s
deploy-docs
Matrix: test-linux
Matrix: create-archives
Matrix: deploy-docker
Matrix: test-benchexec
deploy-release
0s
deploy-release
collect-results
1m 32s
collect-results
Fit to window
Zoom out
Zoom in

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