AnnotatedClassModelcheckingTest

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	99 of 99	0%	0 of 0	n/a	15	15	42	42	15	15
testServer(Class, boolean)		0%		n/a	1	1	8	8	1	1
testMultipleWrongMethodsOnClient()		0%		n/a	1	1	9	9	1	1
testServerPositive(Class)		0%		n/a	1	1	2	2	1	1
testServerNegative(Class)		0%		n/a	1	1	2	2	1	1
testEndpointWithTwoSessionMessageParameters()		0%		n/a	1	1	2	2	1	1
testEndpointWithTwoStringMessageParameters()		0%		n/a	1	1	2	2	1	1
testEndpointWithWrongMessageReturnParameter()		0%		n/a	1	1	2	2	1	1
testEndpointWithCorrectMessageReturnParameter1()		0%		n/a	1	1	2	2	1	1
testEndpointWithCorrectMessageReturnParameter2()		0%		n/a	1	1	2	2	1	1
testErrorMethodWithoutThrowable()		0%		n/a	1	1	2	2	1	1
testErrorMethodWithWrongParameter()		0%		n/a	1	1	2	2	1	1
testOpenMethodWithWrongParameter()		0%		n/a	1	1	2	2	1	1
testCloseMethodWithWrongParameter()		0%		n/a	1	1	2	2	1	1
testMultipleWrongMethods()		0%		n/a	1	1	2	2	1	1
AnnotatedClassModelcheckingTest()		0%		n/a	1	1	1	1	1	1