search

viperproject / prusti-dev

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

Update rust nightly to support codegen-backend #1478

Open sigmaSd opened 7 months ago

sigmaSd commented 7 months ago

I'm using 

[unstable]
codegen-backend = true

[profile.dev]
codegen-backend = "cranelift"

so it would be great if I don't have to remove it to run prusti

fpoli commented 7 months ago

Sure, we plan to update Prusti to the latest nightly version.