Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.search | |
gov.nasa.jpf.util | |
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
static JPFLogger |
JPF.getLogger(String name)
use this one to get a Logger that is initialized via our Config mechanism.
|
Modifier and Type | Field and Description |
---|---|
protected static JPFLogger |
Search.log |
Modifier and Type | Method and Description |
---|---|
static JPFLogger |
LogManager.getLogger(String name) |
Modifier and Type | Field and Description |
---|---|
protected static JPFLogger |
VM.log |