Cleanup test-cargo-miri/run-test.py

This commit is contained in:
hyd-dev 2021-02-28 18:13:17 +08:00
parent 46af1890a5
commit 6d5ce21c92
No known key found for this signature in database
GPG key ID: 74FA7FD5B8DA14B8

View file

@ -83,9 +83,10 @@ def test_cargo_miri_run():
},
)
# Special test: run it again *without* `-q` to make sure nothing is being rebuilt (Miri issue #1722)
test_no_rebuild("`cargo miri run` (no rebuild, no isolation)",
test_no_rebuild("`cargo miri run` (no rebuild)",
cargo_miri("run", quiet=False) + ["--", ""],
env={'MIRITESTVAR': "wrongval"},
env={'MIRITESTVAR': "wrongval"}, # changing the env var causes a rebuild (re-runs build.rs),
# so keep it set
)
test("`cargo miri run` (with arguments and target)",
cargo_miri("run") + ["--bin", "cargo-miri-test", "--", "hello world", '"hello world"'],