Skip to content

Commit b590ef0

Browse files
cjgillotcjgillot
committed
Flush delayed bugs when exiting miri.
1 parent 8a25163 commit b590ef0

File tree

2 files changed

+0
-55
lines changed

2 files changed

+0
-55
lines changed

‎src/tools/miri/tests/panic/mir-validation.rs‎

Lines changed: 0 additions & 27 deletions
This file was deleted.

‎src/tools/miri/tests/panic/mir-validation.stderr‎

Lines changed: 0 additions & 28 deletions
This file was deleted.

0 commit comments

Comments
 (0)