DoubleLinkedList.removeLast()Ljava.lang.Object;

Coverage Report

• Method {|DoubleLinkedList.remove(LDoubleLinkedList$Entry;)V|}: Branch Coverage is 2/2=100%; Location Coverage is 33/33=100%;
• Method {|java.lang.RuntimeException.()V|}: Branch Coverage is 1/1=100%; Location Coverage is 3/3=100%;
• Method {|DoubleLinkedList.removeLast$Top()Ljava/lang/Object;|}: Branch Coverage is 7/12=58%; Location Coverage is 65/68=95%;
• Method MAIN: Branch Coverage is 1/1=100%; Location Coverage is 8/8=100%;
• Method {|java.util.NoSuchElementException.()V|}: Branch Coverage is 1/1=100%; Location Coverage is 4/4=100%;
• Method {|DoubleLinkedList$Entry.repOK()Z|}: Branch Coverage is 2/2=100%; Location Coverage is 10/10=100%;
• Method {|DoubleLinkedList.repOK()Z|}: Branch Coverage is 12/12=100%; Location Coverage is 51/51=100%;
• Method {|edu.ksu.cis.projects.bogor.kiasan.region.spec.Region.setFldReg(Ljava/lang/String;Ljava/lang/String;II)Z|}: Branch Coverage is 1/1=100%; Location Coverage is 1/1=100%;
• Method {|DoubleLinkedList$Entry.nonNullPointers()Z|}: Branch Coverage is 4/4=100%; Location Coverage is 12/12=100%;
• Method {|DoubleLinkedList.spex_M_removeLast()Ljava/lang/Object;|}: Branch Coverage is 1/1=100%; Location Coverage is 13/13=100%;
• Method {|edu.ksu.cis.projects.bogor.kiasan.region.spec.Region.setObjReg(Ljava/lang/Object;I)Z|}: Branch Coverage is 1/1=100%; Location Coverage is 1/1=100%;

Graphs and JUnit

Case #	Pre-state Graph	Post-state Graph	Status	JUnit
0	.svg		UN_CAUGHT_EXCEPTION: java.util.NoSuchElementException	RemoveLastTest0.java
1	.svg		UN_CAUGHT_EXCEPTION: java.util.NoSuchElementException	RemoveLastTest1.java
2	.svg	.svg	OK	RemoveLastTest2.java
3	.svg	.svg	OK	RemoveLastTest3.java
4	.svg	.svg	OK	RemoveLastTest4.java
5	.svg	.svg	OK	RemoveLastTest5.java
6	.svg	.svg	OK	RemoveLastTest6.java
7	.svg	.svg	OK	RemoveLastTest7.java