Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
ConstInsnPathTime
time model that uses instruction count along current path to deduce
the execution time.
|
class |
SystemTime
simple delegating TimeModel implementation that just returns System time.
|
Modifier and Type | Field and Description |
---|---|
protected TimeModel |
VM.timeModel
how we model execution time
|