Package gov.nasa.jpf.tool

Class Summary

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 {} {} 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.

Exception Summary

Exception	Description
RunTest.Failed