model-checking
gxhash causes some issues because of sse2
Hi, using version 0.66. Linux debian testing.
Everything is fine except when trying a verification in a crate that has a gxhash dependency (indirect in my case). It fails with the error described in the gxhash crate itself :
Gxhash requires aes and sse2 intrinsics. Make sure the processor supports it and build with RUSTFLAGS="-C target-cpu=native" or RUSTFLAGS="-C target-feature=+aes,+sse2"
Adding the rustflags like RUSTFLAGS="-C target-cpu=native" cargo-kani --package my_package --harness my_test won't change the fact that my cpu features are not recognized. I use an amd 5800h. The crate compiles just fine with my up to date nightly compiler (so when not using Kani).
Anyone else had this issue? It seemed related to #4062 but apparently the merge already occurred.
