Fede Jinich

Results 4 comments of Fede Jinich

I've faced a similar issue and just had to replace it with `-cpu=apple-m1`

I think I'm having the same issue here. I'm trying to run a basic harness that imports a struct with a lot of dependencies. I run it with `cargo kani...

``` # This file is automatically @generated by Cargo. # It is not intended for manual editing. version = 3 [[package]] name = "ahash" version = "0.8.11" source = "registry+https://github.com/rust-lang/crates.io-index"...