Running scripts/run-kani.sh --run autoharness-analyzer on MacOS gives:

rm: target/kani_verify_std/target/x86_64-unknown-linux-gnu/debug/deps/dummy-*: No such file or directory

I can create a PR with my fix if you think it's worth it, though I suspect there are better solutions.