search

viperproject / prusti-dev

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

Sync written files #1447

Closed fpoli closed 10 months ago

fpoli commented 10 months ago

Dropping a file will ignore errors in synchronizing in-memory (meta)data to disk. Calling sync_all gives instead a result on which to panic.