Introduce `--step-timeout` option for `kprove` to ensure timely termination - #4930

Merged

Stevengre merged 7 commits into

feat/per-depth-timeout-advance-proof

Jun 17, 2026

Commits on Jun 17, 2026

Add step-timeout/shrink policy to Prover.advance_proof
Stevengre
committed
276a591
Expose --step-timeout as a prove CLI option
Stevengre
committed
61e77ba
Interrupt in-flight Kore requests via cancel instead of socket shutdown
Stevengre
committed
9f7c309
Add integration test for cancel-based request interrupt
Stevengre
committed
a53fd4a
make the comments concise
Stevengre
committed
73e4537
remove useless unit test
Stevengre
committed
6ff6c32
Refactor advance_proof timed path into _execute_step helper
Stevengre
committed
f6ed4f7