about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep/shims/sync
ModeNameSize
-rw-r--r--libc_pthread_cond_double_destroy.rs704log plain
-rw-r--r--libc_pthread_cond_double_destroy.stderr825log plain
-rw-r--r--libc_pthread_condattr_double_destroy.rs578log plain
-rw-r--r--libc_pthread_condattr_double_destroy.stderr841log plain
-rw-r--r--libc_pthread_mutex_NULL_deadlock.rs532log plain
-rw-r--r--libc_pthread_mutex_NULL_deadlock.stderr775log plain
-rw-r--r--libc_pthread_mutex_deadlock.rs681log plain
-rw-r--r--libc_pthread_mutex_deadlock.stderr523log plain
-rw-r--r--libc_pthread_mutex_default_deadlock.rs586log plain
-rw-r--r--libc_pthread_mutex_default_deadlock.stderr781log plain
-rw-r--r--libc_pthread_mutex_destroy_locked.rs627log plain
-rw-r--r--libc_pthread_mutex_destroy_locked.stderr739log plain
-rw-r--r--libc_pthread_mutex_double_destroy.rs716log plain
-rw-r--r--libc_pthread_mutex_double_destroy.stderr831log plain
-rw-r--r--libc_pthread_mutex_normal_deadlock.rs642log plain
-rw-r--r--libc_pthread_mutex_normal_deadlock.stderr488log plain
-rw-r--r--libc_pthread_mutex_normal_unlock_unlocked.rs689log plain
-rw-r--r--libc_pthread_mutex_normal_unlock_unlocked.stderr863log plain
-rw-r--r--libc_pthread_mutex_wrong_owner.rs761log plain
-rw-r--r--libc_pthread_mutex_wrong_owner.stderr836log plain
-rw-r--r--libc_pthread_mutexattr_double_destroy.rs583log plain
-rw-r--r--libc_pthread_mutexattr_double_destroy.stderr845log plain
-rw-r--r--libc_pthread_rwlock_destroy_read_locked.rs301log plain
-rw-r--r--libc_pthread_rwlock_destroy_read_locked.stderr731log plain
-rw-r--r--libc_pthread_rwlock_destroy_write_locked.rs301log plain
-rw-r--r--libc_pthread_rwlock_destroy_write_locked.stderr733log plain
-rw-r--r--libc_pthread_rwlock_double_destroy.rs446log plain
-rw-r--r--libc_pthread_rwlock_double_destroy.stderr817log 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.stderr508log plain
-rw-r--r--libc_pthread_rwlock_read_wrong_owner.rs765log plain
-rw-r--r--libc_pthread_rwlock_read_wrong_owner.stderr852log plain
-rw-r--r--libc_pthread_rwlock_unlock_unlocked.rs227log plain
-rw-r--r--libc_pthread_rwlock_unlock_unlocked.stderr789log plain
-rw-r--r--libc_pthread_rwlock_write_read_deadlock.rs694log plain
-rw-r--r--libc_pthread_rwlock_write_read_deadlock.stderr553log 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.stderr508log plain
-rw-r--r--libc_pthread_rwlock_write_write_deadlock.rs694log plain
-rw-r--r--libc_pthread_rwlock_write_write_deadlock.stderr555log 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.stderr510log plain
-rw-r--r--libc_pthread_rwlock_write_wrong_owner.rs765log plain
-rw-r--r--libc_pthread_rwlock_write_wrong_owner.stderr854log plain