01: package U2.T2.examples; // EDIT with your package name here.
02:
03: import U2.T2.*; // Importing the package containing the main
04:
05: // Testing API.
06:
07: /**
08: * A template for T2 random tester wrapped as an application. This
09: * should be placed in the same package as the target classes. Call
10: * RT2, and pass the name of the target class as the first argument to
11: * main.
12: */
13: public class RT2 {
14:
15: // The name of the target class in args[0];
16: // Options may be passed in the rest of args.
17: static public void main(String[] args) {
18:
19: // Unleash the test engine on the target class. Here we'll use
20: // pre-defined pool, base domain, and interface map. If you need
21: // to use custom base domain etc, pass them here.
22: // Options from main are passed down to the engine.
23: RndEngine.RndTest(new Pool(), // passing a default pool
24: new BaseDomain0(), // passing a default base domain
25: new InterfaceMap0(), // passing a default interface map
26: args // passing other options to the engine
27: );
28: }
29: }
|