comparable.BinaryHeap.deleteMin()Ljava.lang.Comparable;

Coverage Report

Method {|comparable.BinaryHeap.wellFormed()Z|}: Branch Coverage is 6/10=60%; Location Coverage is 44/63=69%;
Method {|comparable.BinaryHeap.noNullElement([Ljava/lang/Object;)Z|}: Branch Coverage is 4/4=100%; Location Coverage is 18/18=100%;
Method {|java.lang.Comparable.compareTo(Ljava/lang/Object;)I|}: Branch Coverage is 1/1=100%; Location Coverage is 2/2=100%;
Method MAIN: Branch Coverage is 1/1=100%; Location Coverage is 8/8=100%;
Method {|comparable.BinaryHeap.spex_M_deleteMin()Ljava/lang/Comparable;|}: Branch Coverage is 2/2=100%; Location Coverage is 33/33=100%;
Method {|edu.ksu.cis.projects.bogor.kiasan.region.spec.Region.arrayReg(Ljava/lang/Object;II)Z|}: Branch Coverage is 1/1=100%; Location Coverage is 1/1=100%;
Method {|comparable.BinaryHeap.findMin()Ljava/lang/Comparable;|}: Branch Coverage is 1/2=50%; Location Coverage is 11/13=84%;
Method {|comparable.BinaryHeap.deleteMin$Top()Ljava/lang/Comparable;|}: Branch Coverage is 12/14=85%; Location Coverage is 62/65=95%;
Method {|comparable.BinaryHeap.percolateDown(I)V|}: Branch Coverage is 1/8=12%; Location Coverage is 19/66=28%;
Method {|comparable.BinaryHeap.isEmpty()Z|}: Branch Coverage is 2/2=100%; Location Coverage is 8/8=100%;