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