/**
 * Copyright (c) 2003-2005 Craig Setera
 * All Rights Reserved.
 * Licensed under the Eclipse Public License - v 1.0
 * For more information see http://www.eclipse.org/legal/epl-v10.html
 */
package preverification.tests;


/**
 * Type description
 * <p />
 * Copyright (c) 2003-2005 Craig Setera<br>
 * All Rights Reserved.<br>
 * Licensed under the Eclipse Public License - v 1.0<p/>
 * <br>
 * $Revision: 1.2 $
 * <br>
 * $Date: 2005/10/21 01:04:39 $
 * <br>
 * @author Craig Setera
 */
public class SimpleMultiReturnTestCase extends BasePreverifyTestCase {
	public void testPreverify() {
		testAgainstWTK("preverification.inputs.SimpleMultiReturnTest", new CLDC_1_0_Policy());
	}
}