ci/miri.sh

#!/bin/bash
set -e

rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup

export MIRIFLAGS="-Zmiri-strict-provenance"

cargo miri test
cargo miri test --target mips64-unknown-linux-gnuabi64
CI: run test suite in Miri (#456 ) 2020-12-29 22:54:48 +01:00			`#!/bin/bash`
			`set -e`

update Miri CI config (#534 ) 2022-03-09 04:29:04 -05:00			`rustup toolchain install nightly --component miri`
			`rustup override set nightly`
			`cargo miri setup`
CI: run test suite in Miri (#456 ) 2020-12-29 22:54:48 +01:00
Make strict provenance compatible (#542 ) 2022-04-16 00:26:58 +02:00			`export MIRIFLAGS="-Zmiri-strict-provenance"`

CI: run test suite in Miri (#456 ) 2020-12-29 22:54:48 +01:00			`cargo miri test`
			`cargo miri test --target mips64-unknown-linux-gnuabi64`