Miri Support

bolero supports executing tests with Miri. Keep in mind that execution is significantly slower in Miri.

The isolation mode must currently be disabled in order for bolero tests to read corpuses from the file system. This can be done by setting the appropriate flags:

MIRIFLAGS="-Zmiri-disable-isolation" cargo +nightly miri test