Class | Description |
---|---|
GenPeer |
tool to automatically generate the framework of a native peer MJI class,
given it's model class.
|
Run |
common base for Run* classes
|
RunAnt |
starter class to use the (minimal) ant installation that comes with
jpf-core
|
RunJPF |
This class is a wrapper for loading JPF or a JPFShell through a classloader
that got initialized from a Config object (i.e.
|
RunTest |
tool to run JPF test with configured classpath
arguments are supposed to be of type
{
|
Exception | Description |
---|---|
RunTest.Failed |