ci/miri.sh

#!/bin/bash
set -e

rustup component add miri
cargo miri setup

export MIRIFLAGS="-Zmiri-strict-provenance"

cargo miri test
cargo miri test --target mips64-unknown-linux-gnuabi64

# run with wrapping integer overflow instead of panic
cargo miri test --release
CI: run test suite in Miri (#456 ) 2020-12-29 22:54:48 +01:00			`#!/bin/bash`
			`set -e`

ci: update nightly to nightly-2024-09-15 (#734 ) 2024-09-18 00:02:45 +09:00			`rustup component add miri`
update Miri CI config (#534 ) 2022-03-09 04:29:04 -05:00			`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`
Merge commit from fork 2026-02-03 14:40:22 +01:00
			`# run with wrapping integer overflow instead of panic`
			`cargo miri test --release`