/*
 * Testee.java
 * 
 * Copyright 2005 Christoph Csallner and Yannis Smaragdakis.
 */
package demo;

public class Testee {
	
	/*
	 * Only call with (i != 0)
	 */
  public static float inverse(int i) {
		if (i>10000) {
			return 1/0;  //Represents a real bug in this example.
		}
		
		return 1/i;  //Passing 0 is not a real bug, since it violates the spec.
	}	
}