I'm trying to add kani checks to a project that has zerocopy in the dependecy tree, which uses kani itself.
When I try to run cargo kani in my crate, the build fails with errors building zerocoypy

I also have this error with ring

I guess thoses are the same issue : kani run checks on all the dependecies.
How can I only check the top level crate, to fix this issue ?

using the following command line invocation:

cargo kani

with Kani version: 0.48.O
Installed through cargo
On Apple M1

I have kani running successfully in another project, so I guess it's not an installation issue.
Thanks for your help !