Add the machine seed to the diagnostic output #7435
Annotations
3 errors
|
Test Miri:
tests/fail/environ-gets-deallocated.stderr#L12
bless the test to create a line containing ` = note: This occured with miri seed: 0`
|
|
Test Miri:
tests/fail/shims/fs/isolated_file.stderr#L27
bless the test to create a line containing ` = note: This occured with miri seed: 0`
|
|
Test Miri
Process completed with exit code 1.
|
Loading