diff --git a/justfile b/justfile new file mode 100644 index 0000000..5948224 --- /dev/null +++ b/justfile @@ -0,0 +1,6 @@ +nightly := 'cargo +nightly' +rustc_nightly_flags := '-Z randomize-layout' + +test: + RUST_FLAGS='{{rustc_nightly_flags}}' {{nightly}} miri test + diff --git a/test.sh b/test.sh deleted file mode 100755 index 2e854b7..0000000 --- a/test.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash -RUSTFLAGS='-Z randomize-layout' cargo +nightly miri test -