search

viperproject / prusti-dev

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

How to install cargo-prusti into cargo? #1400

Open rlaferla opened 1 year ago

rlaferla commented 1 year ago

The MIRAI project uses cargo install --locked --path ./checker to install into cargo. e.g. cargo mirai The Kani project does similar. e.g. cargo kani I don't see any documentation on how to do this for Prusti.

Aurel300 commented 1 year ago

I don't think we have tried the install command yet. Maybe this would run into issues with the Prusti binary not being able to determine the location of the downloaded Viper tools.

However, you can include the downloaded Prusti package (or the target/debug or target/release directory in case of source builds) in your PATH, in which case cargo prusti will detect the cargo-prusti binary.