Test cargo miri target selection

This commit is contained in:
David Cook 2020-08-28 23:12:11 -05:00
parent c2a2e25d0b
commit 5d9d75fc1f
3 changed files with 30 additions and 0 deletions

View file

@ -50,6 +50,10 @@ def test_cargo_miri_run():
cargo_miri("run"),
"stdout.ref", "stderr.ref"
)
test("cargo miri run (with target)",
cargo_miri("run") + ["--bin", "cargo-miri-test"],
"stdout.ref", "stderr.ref"
)
test("cargo miri run (with arguments)",
cargo_miri("run") + ["--", "--", "hello world", '"hello world"'],
"stdout.ref", "stderr.ref2"
@ -68,6 +72,14 @@ def test_cargo_miri_test():
cargo_miri("test") + ["--", "-Zmiri-disable-isolation", "--", "num_cpus"],
"test.stdout.ref3", "test.stderr.ref"
)
test("cargo miri test (test target)",
cargo_miri("test") + ["--test", "test"],
"test.stdout.ref4", "test.stderr.ref"
)
test("cargo miri test (bin target)",
cargo_miri("test") + ["--bin", "cargo-miri-test"],
"test.stdout.ref5", "test.stderr.ref"
)
os.chdir(os.path.dirname(os.path.realpath(__file__)))

View file

@ -0,0 +1,12 @@
running 7 tests
test do_panic ... ok
test does_not_work_on_miri ... ignored
test entropy_rng ... ok
test fail_index_check ... ok
test num_cpus ... ok
test simple1 ... ok
test simple2 ... ok
test result: ok. 6 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out

View file

@ -0,0 +1,6 @@
running 1 test
test test::rng ... ok
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out