Class | Description |
---|---|
Test.None |
Annotation Type | Description |
---|---|
After |
same as org.junit.Test - we don't want to pull the whole of JUnit
into our JPF classpath just because we run TestJPF derived classes
|
AfterClass |
same as org.junit.Test - we don't want to pull the whole of JUnit
into our JPF classpath just because we run TestJPF derived classes
|
Before |
same as org.junit.Test - we don't want to pull the whole of JUnit
into our JPF classpath just because we run TestJPF derived classes
|
BeforeClass |
same as org.junit.Test - we don't want to pull the whole of JUnit
into our JPF classpath just because we run TestJPF derived classes
|
Ignore |
same as org.junit.Test - we don't want to pull the whole of JUnit
into our JPF classpath just because we run TestJPF derived classes
|
Test |