summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/shims/sync
ModeNameSize
-rw-r--r--libc_pthread_cond_double_destroy.rs704log plain
-rw-r--r--libc_pthread_cond_double_destroy.stderr823log plain
-rw-r--r--libc_pthread_condattr_double_destroy.rs578log plain
-rw-r--r--libc_pthread_condattr_double_destroy.stderr839log plain
-rw-r--r--libc_pthread_mutex_NULL_deadlock.rs532log plain
-rw-r--r--libc_pthread_mutex_NULL_deadlock.stderr773log plain
-rw-r--r--libc_pthread_mutex_deadlock.rs681log plain
-rw-r--r--libc_pthread_mutex_deadlock.stderr521log plain
-rw-r--r--libc_pthread_mutex_default_deadlock.rs586log plain
-rw-r--r--libc_pthread_mutex_default_deadlock.stderr779log plain
-rw-r--r--libc_pthread_mutex_destroy_locked.rs627log plain
-rw-r--r--libc_pthread_mutex_destroy_locked.stderr737log plain
-rw-r--r--libc_pthread_mutex_double_destroy.rs716log plain
-rw-r--r--libc_pthread_mutex_double_destroy.stderr829log plain
-rw-r--r--libc_pthread_mutex_normal_deadlock.rs642log plain
-rw-r--r--libc_pthread_mutex_normal_deadlock.stderr486log plain
-rw-r--r--libc_pthread_mutex_normal_unlock_unlocked.rs689log plain
-rw-r--r--libc_pthread_mutex_normal_unlock_unlocked.stderr861log plain
-rw-r--r--libc_pthread_mutex_wrong_owner.rs761log plain
-rw-r--r--libc_pthread_mutex_wrong_owner.stderr834log plain
-rw-r--r--libc_pthread_mutexattr_double_destroy.rs583log plain
-rw-r--r--libc_pthread_mutexattr_double_destroy.stderr843log plain
-rw-r--r--libc_pthread_rwlock_destroy_read_locked.rs301log plain
-rw-r--r--libc_pthread_rwlock_destroy_read_locked.stderr729log plain
-rw-r--r--libc_pthread_rwlock_destroy_write_locked.rs301log plain
-rw-r--r--libc_pthread_rwlock_destroy_write_locked.stderr731log plain
-rw-r--r--libc_pthread_rwlock_double_destroy.rs446log plain
-rw-r--r--libc_pthread_rwlock_double_destroy.stderr815log plain
-rw-r--r--libc_pthread_rwlock_read_write_deadlock_single_thread.rs283log plain
-rw-r--r--libc_pthread_rwlock_read_write_deadlock_single_thread.stderr506log plain
-rw-r--r--libc_pthread_rwlock_read_wrong_owner.rs765log plain
-rw-r--r--libc_pthread_rwlock_read_wrong_owner.stderr850log plain
-rw-r--r--libc_pthread_rwlock_unlock_unlocked.rs227log plain
-rw-r--r--libc_pthread_rwlock_unlock_unlocked.stderr787log plain
-rw-r--r--libc_pthread_rwlock_write_read_deadlock.rs694log plain
-rw-r--r--libc_pthread_rwlock_write_read_deadlock.stderr551log plain
-rw-r--r--libc_pthread_rwlock_write_read_deadlock_single_thread.rs283log plain
-rw-r--r--libc_pthread_rwlock_write_read_deadlock_single_thread.stderr506log plain
-rw-r--r--libc_pthread_rwlock_write_write_deadlock.rs694log plain
-rw-r--r--libc_pthread_rwlock_write_write_deadlock.stderr553log plain
-rw-r--r--libc_pthread_rwlock_write_write_deadlock_single_thread.rs283log plain
-rw-r--r--libc_pthread_rwlock_write_write_deadlock_single_thread.stderr508log plain
-rw-r--r--libc_pthread_rwlock_write_wrong_owner.rs765log plain
-rw-r--r--libc_pthread_rwlock_write_wrong_owner.stderr852log plain