search

viperproject / prusti-dev

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

Fix rosetta binary search #1481

Closed vakaras closed 11 months ago

vakaras commented 11 months ago

Add fixed Rosetta Binary Search examples.