A bug was found!

Current stack (TID 1):
0x00100d4f in EkyN <unknown assembly>

Deadlock -- no threads are runnable!

Distinct interleavings tested: 1
Estimated state space size: 16384.000000
Estimated state space coverage: 0.006104%

TID 1 (idle)
TID 3 (shell)
TID 4
TID 5
0x00105c41 in [context switch] <unknown assembly>
0x01001cf5 in <unknown in user>
0x01000aad in mutex_lock (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/mutex/mutex.c:77)
0x0100026c in main (p2-basecode/410user/progs/paraguay.c:92)
0x0100033c in _main (p2-basecode/410user/crt0.c:18)
0xdeadd00d in <unknown in user>
0x00105c41 in [context switch] <unknown assembly>
0x010033ff in deschedule (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libsyscall/thrmng/deschedule.S:15)
0x01000da0 in cond_wait (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/cond/cond.c:95)
0x01000043 in thread1 (p2-basecode/410user/progs/paraguay.c:48)
0x010007b2 in thr_setup (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/thr.c:257)
0x01000a08 in asm_thr_create (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/asm_thr.S:30)
0x010008ad in thr_create (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/thr.c:164)
0x0100026c in main (p2-basecode/410user/progs/paraguay.c:92)
0x0100033c in _main (p2-basecode/410user/crt0.c:18)
0xdeadd00d in <unknown in user>
0x00105c41 in [context switch] <unknown assembly>
0x01003423 in yield (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libsyscall/thrmng/yield.S:15)
0x01000cef in cond_signal (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/cond/cond.c:126)
0x01000297 in main (p2-basecode/410user/progs/paraguay.c:104)
0x0100033c in _main (p2-basecode/410user/crt0.c:18)
0xdeadd00d in <unknown in user>
0x00105c41 in [context switch] <unknown assembly>
0x010033ff in deschedule (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libsyscall/thrmng/deschedule.S:15)
0x01000da0 in cond_wait (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/cond/cond.c:95)
0x01000043 in thread1 (p2-basecode/410user/progs/paraguay.c:48)
0x010007b2 in thr_setup (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/thr.c:257)
0x01000a08 in asm_thr_create (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/asm_thr.S:30)
0x010075f8 in <unknown in user>
0x89000000 in <unknown in user>
0x00105c41 in [context switch] <unknown assembly>
0x0100340b in sleep (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libsyscall/thrmng/sleep.S:15)
0x010002af in main (p2-basecode/410user/progs/paraguay.c:110)
0x0100033c in _main (p2-basecode/410user/crt0.c:18)
0xdeadd00d in <unknown in user>
0x00105c41 in [context switch] <unknown assembly>
0x010033ff in deschedule (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libsyscall/thrmng/deschedule.S:15)
0x01000da0 in cond_wait (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/cond/cond.c:95)
0x010000ad in thread1 (p2-basecode/410user/progs/paraguay.c:60)
0x010007b2 in thr_setup (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/thr.c:257)
0x01000a08 in asm_thr_create (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/asm_thr.S:30)
0x01006504 in <unknown in user>
0x835356e5 in <unknown in user>
0x00105c41 in [context switch] <unknown assembly>
0x0100342a in vanish (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libsyscall/lifecycle/vanish.S:13)
0x010025fa in <unknown in user>
0x01000344 in <unknown in user>
0xdeadd00d in <unknown in user>
0x00105c41 in [context switch] <unknown assembly>
0x010033ff in deschedule (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libsyscall/thrmng/deschedule.S:15)
0x01000da0 in cond_wait (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/cond/cond.c:95)
0x01000537 in thr_exit (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/thr.c:403)
0x01000a0e in asm_thr_create (/afs/cs.cmu.edu/academic/class/15410-s15/usr/ehl1/scratch/p2/user/libthread/asm_thr.S:34)
0x0100652c in <unknown in user>
0x835356e5 in <unknown in user>