Skip to content

Commit

Permalink
bless cargo-miri output
Browse files Browse the repository at this point in the history
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
  • Loading branch information
RalfJung committed Oct 7, 2022
1 parent dc0faf3 commit ec9100f
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 6 deletions.
2 changes: 1 addition & 1 deletion test-cargo-miri/run-test.py
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ def check_output(actual, path, name):
expected = open(path).read()
if expected == actual:
return True
print(f"{path} did not match reference!")
print(f"output did not match reference in {path}!")
print(f"--- BEGIN diff {name} ---")
for text in difflib.unified_diff(expected.split("\n"), actual.split("\n")):
print(text)
Expand Down
10 changes: 5 additions & 5 deletions test-cargo-miri/test.filter.stdout.ref
Original file line number Diff line number Diff line change
@@ -1,4 +1,9 @@

running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out


running 0 tests

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

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


running 0 tests

test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 4 filtered out; finished in $TIME

0 comments on commit ec9100f

Please sign in to comment.