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

Disable tracing by default #1422

Closed fpoli closed 1 year ago

fpoli commented 1 year ago

I'm not sure why it was true by default - with that value PRUSTI_LOG=debug doesn't work.