Add #[kani::loop_decreases] for proving loop termination
#4564
Loading
#[kani::loop_decreases] for proving loop termination
#4564