`cargo-prusti build` doesn't work

[EmmanuelMess]

To use the toolchain with rustrover I linked cargo to cargo-prusti but it seems the syntax is different. Is there a way to have the same command syntax?

./cargo-prusti build
error: unexpected argument 'build' found

Usage: cargo check [OPTIONS]

For more information, try '--help'.