Shows how statement coverage can be higher than branch coverage. This is an inverse subsumption relation.

CoverageTest.java

package test;

import static org.junit.Assert.*;

import org.junit.Test;

import junit.framework.TestCase;

public class CoverageTest {
	
	/**
	 * 
	 * Computes 100% statement coverage but 75% branch coverage.
	 * */
	@Test
	public void testExists(){
		int[] a = {0,-1,1,100,99};
		int x = 99;
		assertTrue( exists(x, a) );
	}
	
	
	/**
	 * 
	 * Our code under test.
	 * */
	public boolean exists(int x, int[] a){
		boolean ret = false;
		for(int i=0; i < a.length; i++){
			if( x == a[i] ) {
				ret = true;
				break;
			}
		}
		return ret;
	}

  
}

Clover computes this as 100% statement coverage and 75% branch coverage. But Clover doesn't show "which" branch is not covered. I suspect it's the i < a.length condition.