edu.udel.cis.vsl.civl.model.common.expression

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	3,415 of 7,267	53%	427 of 739	42%	454	932	766	1,770	181	539	7	51
CommonQuantifiedExpression.java		24%		17%	27	39	59	91	6	15	1	2
CommonArrrayLambdaExpression.java		21%		15%	23	33	54	78	5	13	0	1
CommonBinaryExpression.java		65%		59%	32	79	64	159	3	22	0	2
CommonACSLPredicateCall.java		0%		0%	20	20	46	46	9	9	1	1
CommonLambdaExpression.java		0%		0%	23	23	40	40	13	13	1	1
CommonConditionalExpression.java		53%		42%	24	41	35	88	4	15	0	1
CommonExtendedQuantifiedExpression.java		0%		0%	21	21	39	39	10	10	1	1
CommonDerivativeCallExpression.java		0%		0%	7	7	20	20	4	4	1	1
CommonArrayLiteralExpression.java		57%		48%	20	37	31	73	5	15	0	1
CommonStructOrUnionLiteralExpression.java		59%		57%	18	36	27	68	6	16	0	1
CommonUnaryExpression.java		58%		44%	17	34	31	73	6	19	0	2
CommonSubscriptExpression.java		61%		53%	14	37	28	70	4	20	0	1
CommonRegularRangeExpression.java		69%		55%	15	32	18	77	2	11	0	1
CommonMemoryUnitExpression.java		38%		0%	11	19	18	33	6	14	0	1
CommonAbstractFunctionCallExpression.java		47%		31%	9	17	14	30	2	9	0	1
CommonFunctionGuardExpression.java		21%		0%	11	15	17	24	5	9	0	1
CommonSizeofExpression.java		44%		30%	10	17	20	39	5	12	0	1
CommonDomainGuardExpression.java		42%		0%	6	12	16	28	4	10	0	1
CommonAddressOfExpression.java		69%		60%	9	25	18	55	7	20	0	1
CommonRecDomainLiteralExpression.java		80%		69%	9	24	16	61	3	11	0	1
CommonDotExpression.java		78%		65%	10	34	13	59	3	21	0	1
CommonMPIContractExpression.java		75%		58%	7	21	11	42	2	9	0	1
CommonDifferentiableExpression.java		0%		0%	10	10	14	14	9	9	1	1
CommonDereferenceExpression.java		80%		68%	9	31	13	62	2	17	0	1
CommonCharLiteralExpression.java		46%		9%	13	20	15	26	4	11	0	1
CommonCastExpression.java		73%		50%	7	21	13	43	2	14	0	1
CommonValueAtExpression.java		73%		30%	11	19	9	42	1	9	0	1
CommonStateExpression.java		33%		0%	6	9	6	11	4	7	0	1
CommonSystemGuardExpression.java		64%		75%	5	12	5	18	4	10	0	1
CommonScopeofExpression.java		53%		n/a	3	8	4	11	3	8	0	1
CommonWildcardExpression.java		0%		n/a	6	6	7	7	6	6	1	1
CommonFunctionCallExpression.java		69%		n/a	4	10	5	14	4	10	0	1
CommonSizeofTypeExpression.java		58%		n/a	2	7	2	9	2	7	0	1
CommonInitialValueExpression.java		68%		n/a	1	8	1	11	1	8	0	1
CommonBoundVariableExpression.java		59%		n/a	2	7	3	10	2	7	0	1
CommonNothing.java		35%		0%	5	6	6	8	4	5	0	1
CommonDynamicTypeOfExpression.java		70%		n/a	1	7	1	10	1	7	0	1
CommonRealLiteralExpression.java		82%		50%	4	13	5	18	3	12	0	1
CommonIntegerLiteralExpression.java		80%		n/a	3	11	5	17	3	11	0	1
CommonBooleanLiteralExpression.java		83%		67%	4	13	4	17	2	10	0	1
CommonHereOrRootExpression.java		82%		33%	4	12	3	15	1	9	0	1
CommonUndefinedProcessExpression.java		70%		n/a	3	6	3	8	3	6	0	1
CommonFunctionIdentifierExpression.java		90%		n/a	1	8	1	13	1	8	0	1
CommonVariableExpression.java		97%		100%	1	23	2	32	1	14	0	1
CommonExpression.java		96%		80%	4	24	2	38	2	19	0	1
CommonProcnullExpression.java		90%		n/a	1	6	1	8	1	6	0	1
CommonSelfExpression.java		88%		n/a	1	6	1	7	1	6	0	1
CommonStatenullExpression.java		100%		n/a	0	6	0	8	0	6	0	1