Hello,

Is there any guidance on how to perform verification of a Rust project with Kani which is built without using Cargo? In other words, there is no Cargo.toml file, both rustc & linker are directly invoked via Makefile where dependencies are provided via --extern argument to rustc.

Thank you!