Test Result : AnnotatedClassModelcheckingTest
0 failures
11 tests
All Tests
Test name | Duration | Status |
---|---|---|
testCloseMethodWithWrongParameter | 6 ms | Passed |
testEndpointWithCorrectMessageReturnParameter1 | 6 ms | Passed |
testEndpointWithCorrectMessageReturnParameter2 | 18 ms | Passed |
testEndpointWithTwoSessionMessageParameters | 13 ms | Passed |
testEndpointWithTwoStringMessageParameters | 6 ms | Passed |
testEndpointWithWrongMessageReturnParameter | 5 ms | Passed |
testErrorMethodWithWrongParameter | 9 ms | Passed |
testErrorMethodWithoutThrowable | 7 ms | Passed |
testMultipleWrongMethods | 6 ms | Passed |
testMultipleWrongMethodsOnClient | 1 ms | Passed |
testOpenMethodWithWrongParameter | 7 ms | Passed |