search

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

Run cargo fmt #1456

Closed JakuJ closed 1 year ago

JakuJ commented 1 year ago

Running cargo fmt to facilitate merging #1321

vakaras commented 1 year ago

Please also update the x.py script to automatically format the newly formatted files.

fpoli commented 1 year ago

I cleaned up the script.