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.
LogConsole	simple logging facility that listens on a socket (e.g.
PrintEvents	very simple tool to print .util.script.EventTrees <2do> this should use native_classpath / JPFClassLoader to load the EventTree
Run	common base for Run* classes
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.

Package gov.nasa.jpf.tool