RunTest

```
public class RunTest
extends Run
```
tool to run JPF test with configured classpath arguments are supposed to be of type {} {} all leading config options are used to create the initial Config, but be aware of that each test (TestJPF.verifyX() invocation) uses its own Config and JPF object, i.e. can have different path settings This automatically adds .test_classpath to the startup classpath

Nested Classes
Modifier and Type	Class and Description
`static class`	`RunTest.Failed`

Constructors
Constructor and Description
`RunTest()`

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static Config`	`getConfig()`
`static int`	`getOptions(java.lang.String[] args)`
`static boolean`	`isOptionEnabled(int option, int mask)`
`static void`	`main(java.lang.String[] args)`
`static void`	`showUsage()`

Methods inherited from class gov.nasa.jpf.tool.Run
call, checkClassName, error, removeConfigArgs, warning

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public static int getOptions(java.lang.String[] args)

public static boolean isOptionEnabled(int option,
                                      int mask)

public static void main(java.lang.String[] args)

Class RunTest