Adds functionality to ignore dependencies contracts

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

Closed nshyrei closed 4 months ago

nshyrei commented 4 months ago

Following https://github.com/viperproject/prusti-dev/issues/1493 this PR adds ignore_deps_contracts flag which controls if Prusti will collect contracts for project's dependency crates.

fpoli commented 4 months ago

Thanks! Have you had a chance to check that it correctly solves https://github.com/viperproject/prusti-dev/issues/1493? If so, I'll close that issue.