make sure tests pass even with RUST_TEST_NOCAPTURE set

RalfJung · RalfJung · commit 05f5c3d0783c · 2020-09-17T17:33:47.000+02:00
diff --git a/test-cargo-miri/run-test.py b/test-cargo-miri/run-test.py
@@ -102,6 +102,7 @@ def test_cargo_miri_test():
     )
 
 os.chdir(os.path.dirname(os.path.realpath(__file__)))
+os.environ["RUST_TEST_NOCAPTURE"] = "0" # this affects test output, so make sure it is not set
 
 target_str = " for target {}".format(os.environ['MIRI_TEST_TARGET']) if 'MIRI_TEST_TARGET' in os.environ else ""
 print(CGREEN + CBOLD + "## Running `cargo miri` tests{}".format(target_str) + CEND)

Original file line number	Diff line number	Diff line change
`@@ -102,6 +102,7 @@ def test_cargo_miri_test():`
`102`	`102`	`)`
`103`	`103`
`104`	`104`	`os.chdir(os.path.dirname(os.path.realpath(__file__)))`
	`105`	`+os.environ["RUST_TEST_NOCAPTURE"] = "0" # this affects test output, so make sure it is not set`
`105`	`106`
`106`	`107`	`target_str = " for target {}".format(os.environ['MIRI_TEST_TARGET']) if 'MIRI_TEST_TARGET' in os.environ else ""`
`107`	`108`	print(CGREEN + CBOLD + "## Running `cargo miri` tests{}".format(target_str) + CEND)