error: deadlock: the evaluated program deadlocked | |
--> $DIR/libc_pthread_rwlock_write_read_deadlock.rs:LL:CC | |
| | |
LL | assert_eq!(libc::pthread_rwlock_wrlock(lock_copy.0.get() as *mut _), 0); | |
| ^ the evaluated program deadlocked | |
| | |
= note: BACKTRACE on thread `unnamed-ID`: | |
= note: inside closure at $DIR/libc_pthread_rwlock_write_read_deadlock.rs:LL:CC | |
note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace | |
error: aborting due to 1 previous error | |