Changes to jester\acceptancetests\VeryTestedTest.java

package jester.acceptancetests;

import junit.framework.*;


import junit.awtui.*;

public class VeryTestedTest extends TestCase {
	private VeryTested myVeryTested = new VeryTested();
public VeryTestedTest(String name) {
	super(name);
}
public static void main(String args[]) {
	TestRunner.main(new String[]{"jester.acceptancetests.VeryTestedTest"});
}
public static Test suite ( ) {
	TestSuite suite= new TestSuite(VeryTestedTest.class);
	return suite;
}
public void testBoolean(){
	assertTrue(myVeryTested.mustReturnTrue());
}
public void testConditionFalseBranch(){
	assertEquals(0,myVeryTested.mustTakeCorrectBranchFor(false));
}
public void testConditionTrueBranch(){
	assertEquals(1,myVeryTested.mustTakeCorrectBranchFor(true));
}
public void testDecrement(){
	assertEquals(0,myVeryTested.mustDecrement(1));
}
public void testEqual(){
	assertTrue(myVeryTested.mustBeEqual());
}
public void testIncrement(){
	assertEquals(1,myVeryTested.mustIncrement(0));
}
public void testInfiniteLoop(){
	myVeryTested.turnIntoInfiniteLoop();
}
public void testInt(){
	assertEquals(1,myVeryTested.mustReturnOne());
}
public void testNotEqual(){
	assertTrue(myVeryTested.mustNotBeEqual());
}
}