Add some comments in test-cargo-miri/run-tests.py

This commit is contained in:
hyd-dev 2021-06-26 21:45:38 +08:00
parent c3ad18256d
commit 59408b68dd
No known key found for this signature in database
GPG Key ID: 74FA7FD5B8DA14B8

View File

@ -173,9 +173,11 @@ if not 'MIRI_SYSROOT' in os.environ:
subprocess.run(cargo_miri("setup"), check=True)
test_cargo_miri_run()
test_cargo_miri_test()
# Ensure we did not create anything outside the expected target dir.
for target_dir in ["target", "custom-run", "custom-test", "config-cli"]:
if os.listdir(target_dir) != ["miri"]:
fail(f"`{target_dir}` contains unexpected files")
# Ensure something exists inside that target dir.
os.access(os.path.join(target_dir, "miri", "debug", "deps"), os.F_OK)
print("\nTEST SUCCESSFUL!")