I tried this code:

git clone https://github.com/YoshikiTakashima/propproof.git propproof
cd propproof; git submodule update --init

using the following command line invocation:

git clone https://github.com/tokio-rs/prost.git  2037251cc50e25247972d5c1131905de3064016c
cd prost;
mkdir .cargo; echo "paths =[\"/Users/ytakashl/propproof\"]" > .cargo/config.toml
cargo kani -p prost --tests

with Kani version: faa4086

I expected to see this happen: It should finish compiling and start verifying

Instead, this happened: Kani gets stuck building prost and does not
proceed to verification. I've left it for 30m, but still stuck.