_default:

miri:
    MIRIFLAGS="\
    -Zmiri-strict-provenance \
    -Zmiri-check-number-validity \
    -Zmiri-symbolic-alignment-check \
    " \
    cargo miri test