Skip to content

Commit bc3f54d

Browse files
committed
Add one more error annotation
1 parent 213885b commit bc3f54d

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

tests/fail-dep/libc/eventfd_block_twice.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
//@only-target: linux
22
//@compile-flags: -Zmiri-preemption-rate=0
3+
//@error-in-other-file: deadlock
34

45
use std::thread;
56

0 commit comments

Comments
 (0)