You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
nightly := 'cargo +nightly'
|
|
rustc_nightly_flags := '-Z randomize-layout -Z macro-backtrace'
|
|
|
|
test:
|
|
RUSTFLAGS='{{rustc_nightly_flags}}' {{nightly}} miri test
|
|
|