public class GroundedTest2
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
numberOfRunsEach |
static int |
timeout |
Constructor and Description |
---|
GroundedTest2() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
public static void main(java.lang.String[] args) throws ProtocolTerminatedException
ProtocolTerminatedException