Skip to content

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

Open
Stevengre wants to merge 5 commits into
developfrom
feat/per-depth-timeout-advance-proof
Open

Introduce --step-timeout option for kprove to ensure timely termination#4930
Stevengre wants to merge 5 commits into
developfrom
feat/per-depth-timeout-advance-proof

make the comments concise

d35b594
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar