Package | Description |
---|---|
gov.nasa.jpf.tool |
Modifier and Type | Class and Description |
---|---|
class |
RunJPF
This class is a wrapper for loading JPF or a JPFShell through a classloader
that got initialized from a Config object (i.e.
|
class |
RunTest
tool to run JPF test with configured classpath
arguments are supposed to be of type
{
|