viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.55k stars 106 forks source link

Update test - infinite loop #1379

Closed simon-hrabec closed 1 year ago

simon-hrabec commented 1 year ago

Add missing iterator index increment.

(When having the loop infinite the unreachable code detection fails this test and I wanted to include it in the benchmarks)