Skip to content
tools, scaling, and auto-generated statements

feat: Prove new k-induction algorithm #3490

Sign in to view logs

feat: Prove new k-induction algorithm

feat: Prove new k-induction algorithm #3490

Triggered via pull request February 12, 2025 14:15
@bollubollu
synchronize #1005
new-k-induction-proof
Status Failure
Total duration 1m 35s
Artifacts –

ci-tools.yml

on: pull_request
tools, scaling, and auto-generated stmts
1m 25s
tools, scaling, and auto-generated stmts
Fit to window
Zoom out
Zoom in

Annotations

1 error
tools, scaling, and auto-generated stmts
Process completed with exit code 1.