Mutex.java |   | 54% |   | 67% | 6 | 19 | 22 | 55 | 3 | 13 | 0 | 2 |
Queue.java |   | 73% |   | 56% | 11 | 35 | 12 | 60 | 4 | 26 | 0 | 4 |
ConditionVariable.java |   | 67% |   | 65% | 8 | 19 | 9 | 45 | 2 | 9 | 0 | 2 |
Queue$INVOKER$i$0$1$push.gen |  | 0% |  | 0% | 4 | 4 | 0 | 0 | 2 | 2 | 1 | 1 |
ConditionVariable$INVOKER$i$0$1$wait_ruby.gen |  | 0% |  | 0% | 4 | 4 | 0 | 0 | 2 | 2 | 1 | 1 |
Queue$INVOKER$i$pop.gen |  | 0% | | n/a | 3 | 3 | 0 | 0 | 3 | 3 | 1 | 1 |
Mutex$INVOKER$i$sleep.gen |  | 0% | | n/a | 3 | 3 | 0 | 0 | 3 | 3 | 1 | 1 |
SizedQueue$INVOKER$i$1$0$initialize.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
SizedQueue$INVOKER$i$1$0$max_set.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
ConditionVariable$INVOKER$s$0$0$newInstance.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Mutex$INVOKER$s$0$0$newInstance.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Mutex$INVOKER$i$0$0$synchronize.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
ThreadLibrary.java |   | 48% | | n/a | 1 | 3 | 1 | 7 | 1 | 3 | 0 | 1 |
SizedQueue$INVOKER$i$0$0$max.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Queue$INVOKER$i$0$0$initialize.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Queue$INVOKER$i$0$0$shutdown.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Queue$INVOKER$i$0$0$num_waiting.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Queue$INVOKER$i$0$0$length.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
ConditionVariable$INVOKER$i$0$0$broadcast.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Queue$INVOKER$i$0$0$clear.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Mutex$INVOKER$i$0$0$try_lock.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Mutex$INVOKER$i$0$0$locked_p.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
SizedQueue$INVOKER$i$0$0$clear.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Mutex$INVOKER$i$0$0$unlock.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Queue$INVOKER$i$0$0$marshal_dump.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Queue$INVOKER$i$0$0$empty_p.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
ConditionVariable$INVOKER$i$0$0$marshal_dump.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
Mutex$INVOKER$i$0$0$lock.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
ConditionVariable$INVOKER$i$0$0$signal.gen |  | 0% | | n/a | 2 | 2 | 0 | 0 | 2 | 2 | 1 | 1 |
SizedQueue.java |  | 100% |  | 100% | 0 | 10 | 0 | 22 | 0 | 9 | 0 | 2 |