Skip to content

Commit 857d6ae

Browse files
committed
bless cargo-miri output
I think cargo has a bug here: rust-lang/cargo#11191 but for now we bless its output so that we can keep CI green
1 parent dc0faf3 commit 857d6ae

File tree

3 files changed

+10
-6
lines changed

3 files changed

+10
-6
lines changed

test-cargo-miri/run-test.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ def check_output(actual, path, name):
3636
expected = open(path).read()
3737
if expected == actual:
3838
return True
39-
print(f"{path} did not match reference!")
39+
print(f"output did not match reference in {path}!")
4040
print(f"--- BEGIN diff {name} ---")
4141
for text in difflib.unified_diff(expected.split("\n"), actual.split("\n")):
4242
print(text)

test-cargo-miri/test.filter.cross-target.stdout.ref

+4
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,10 @@
11

22
running 0 tests
33

4+
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
5+
6+
running 0 tests
7+
48
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out
59

610
imported main
+5-5
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,9 @@
11

2+
running 0 tests
3+
4+
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
5+
6+
27
running 0 tests
38

49
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 2 filtered out
@@ -10,8 +15,3 @@ test simple ... ok
1015

1116
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 5 filtered out
1217

13-
14-
running 0 tests
15-
16-
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 4 filtered out; finished in $TIME
17-

0 commit comments

Comments
 (0)