array.StackAr.push(Ljava.lang.Object;)V

Coverage Report

• Method MAIN: Branch Coverage is 1/1=100%; Location Coverage is 9/9=100%;
• Method {|common.Overflow.()V|}: Branch Coverage is 1/1=100%; Location Coverage is 3/3=100%;
• Method {|array.StackAr.isFull()Z|}: Branch Coverage is 2/2=100%; Location Coverage is 13/13=100%;
• Method {|array.StackAr.push$Top(Ljava/lang/Object;)V|}: Branch Coverage is 10/12=83%; Location Coverage is 49/53=92%;
• Method {|array.StackAr.spex_M_push(Ljava/lang/Object;)V|}: Branch Coverage is 2/2=100%; Location Coverage is 23/23=100%;

Graphs and JUnit

Case #	Pre-state Graph	Post-state Graph	Status	JUnit
0	.svg		UN_CAUGHT_EXCEPTION: common.Overflow	PushTest0.java
1	.svg	.svg	OK	PushTest1.java
2	.svg		UN_CAUGHT_EXCEPTION: common.Overflow	PushTest2.java
3	.svg	.svg	OK	PushTest3.java