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

Try enabling LTO #1438

Closed fpoli closed 11 months ago

fpoli commented 11 months ago

Let's see if it now works on Windows.

Closes #383.

fpoli commented 11 months ago

Nope... Compiling on Windows with --release fails with a strange "failed to get bitcode from object file for LTO (Bitcode section not found in object file)".