Queue.java |   | 53% |   | 22% | 18 | 35 | 23 | 60 | 9 | 26 | 0 | 4 |
ConditionVariable.java |   | 53% |   | 35% | 13 | 19 | 15 | 45 | 3 | 9 | 0 | 2 |
SizedQueue.java |   | 34% |  | 0% | 7 | 10 | 15 | 22 | 6 | 9 | 0 | 2 |
Mutex.java |   | 88% |  | 100% | 1 | 19 | 6 | 55 | 1 | 13 | 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 |