Uses of Class
gov.nasa.jpf.tool.Run

Packages that use Run

Package	Description
gov.nasa.jpf.tool

Uses of Run in gov.nasa.jpf.tool

Subclasses of Run in 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 {} {} 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.