Implement many-seeds mode directly in the driver #9691
Annotations
10 errors
|
Test Miri:
tests/fail/breakpoint.stderr#L13
remove this line and possibly later ones by blessing the test
|
|
Test Miri:
tests/fail/branchless-select-i128-pointer.stderr#L19
remove this line and possibly later ones by blessing the test
|
|
Test Miri:
tests/fail/box-cell-alias.stderr#L33
remove this line and possibly later ones by blessing the test
|
|
Test Miri:
tests/fail/coroutine-pinned-moved.stderr#L36
remove this line and possibly later ones by blessing the test
|
|
Test Miri:
tests/fail/dyn-call-trait-mismatch.stderr#L15
remove this line and possibly later ones by blessing the test
|
|
Test Miri:
tests/fail/dyn-upcast-nop-wrong-trait.stderr#L15
remove this line and possibly later ones by blessing the test
|
|
Test Miri:
tests/fail/dyn-upcast-trait-mismatch.stderr#L15
remove this line and possibly later ones by blessing the test
|
|
Test Miri:
tests/fail/enum-set-discriminant-niche-variant-wrong.stderr#L20
remove this line and possibly later ones by blessing the test
|
|
Test Miri:
tests/fail/enum-untagged-variant-invalid-encoding.stderr#L15
remove this line and possibly later ones by blessing the test
|
|
Test Miri:
tests/fail/environ-gets-deallocated.stderr#L15
remove this line and possibly later ones by blessing the test
|
Loading