Package | Description |
---|---|
gov.nasa.jpf.util.test |
Modifier and Type | Method and Description |
---|---|
protected boolean |
TestMultiProcessJPF.mpVerifyJPFException(int prcNum,
TypeRef xClsSpec,
String... args) |
protected boolean |
TestMultiProcessJPF.mpVerifyPropertyViolation(int prcNum,
TypeRef propertyClsSpec,
String... args) |
protected boolean |
TestJPF.verifyJPFException(TypeRef xClsSpec,
String... args) |
protected boolean |
TestJPF.verifyPropertyViolation(TypeRef propertyClsSpec,
String... args) |