diff --git a/test.sh b/test.sh new file mode 100755 index 0000000..2e854b7 --- /dev/null +++ b/test.sh @@ -0,0 +1,3 @@ +#!/bin/bash +RUSTFLAGS='-Z randomize-layout' cargo +nightly miri test +