Open TethysSvensson opened 2 years ago
I've now run miri by hand on our project and it didn't report anything. I used this command:
MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-strict-provenance" cargo +nightly miri test
It had to limit the number of iterations in one of our tests in #109.
However we will need to limit it even further before I will consider running it in our CI.
I've now run miri by hand on our project and it didn't report anything. I used this command:
MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-strict-provenance" cargo +nightly miri testIt had to limit the number of iterations in one of our tests in #109.
However we will need to limit it even further before I will consider running it in our CI.