/* Author: Jeff Dalton <J.Dalton@ed.ac.uk>
 * Updated: Tue Dec  4 00:35:03 2001 by Jeff Dalton
 * Copyright: (c) 2001, AIAI, University of Edinburgh
 */

package ix.test;

import ix.icore.IXAgent;

import ix.itest.*;
import ix.util.*;

public class ItestExample extends BasicItest {

    public ItestExample() {
	super("Itest Example");
    }

    public static void main(String[] argv) {
	Util.printGreeting("Itest Example");
	new ItestExample().mainStartup(argv);
    }

    /**
     * Tests
     */
    protected void addTests() {

	/* Any inherited tests */
	super.addTests();

    }


}