DoubleLinkedList.toArray()[Ljava.lang.Object;

Coverage Report

• Method MAIN: Branch Coverage is 1/1=100%; Location Coverage is 7/7=100%;
• Method {|DoubleLinkedList$Entry.repOK()Z|}: Branch Coverage is 1/2=50%; Location Coverage is 8/10=80%;
• Method {|DoubleLinkedList.repOK()Z|}: Branch Coverage is 9/12=75%; Location Coverage is 50/51=98%;
• Method {|DoubleLinkedList.spex_M_toArray()[Ljava/lang/Object;|}: Branch Coverage is 1/2=50%; Location Coverage is 18/27=66%;
• Method {|DoubleLinkedList.toArray$Top()[Ljava/lang/Object;|}: Branch Coverage is 3/6=50%; Location Coverage is 32/36=88%;
• Method {|DoubleLinkedList$Entry.nonNullPointers()Z|}: Branch Coverage is 4/4=100%; Location Coverage is 12/12=100%;

Graphs and JUnit

Case #	Pre-state Graph	Post-state Graph	Status	JUnit
0	.svg	.svg	OK	ToArrayTest0.java