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		26%		17%	26	38	59	91	5	14	0	1
CommonArrrayLambdaExpression		21%		15%	23	33	54	78	5	13	0	1
CommonBinaryExpression		59%		59%	32	78	64	159	3	21	0	1
CommonACSLPredicateCall		0%		0%	20	20	46	46	9	9	1	1
CommonLambdaExpression		0%		0%	23	23	40	40	13	13	1	1
CommonConditionalExpression		53%		42%	24	41	35	88	4	15	0	1
CommonExtendedQuantifiedExpression		0%		0%	21	21	39	39	10	10	1	1
CommonDerivativeCallExpression		0%		0%	7	7	20	20	4	4	1	1
CommonArrayLiteralExpression		57%		48%	20	37	31	73	5	15	0	1
CommonStructOrUnionLiteralExpression		59%		57%	18	36	27	68	6	16	0	1
CommonUnaryExpression		54%		44%	17	33	31	73	6	18	0	1
CommonSubscriptExpression		61%		53%	14	37	28	70	4	20	0	1
CommonRegularRangeExpression		69%		55%	15	32	18	77	2	11	0	1
CommonMemoryUnitExpression		38%		0%	11	19	18	33	6	14	0	1
CommonAbstractFunctionCallExpression		47%		31%	9	17	14	30	2	9	0	1
CommonFunctionGuardExpression		21%		0%	11	15	17	24	5	9	0	1
CommonSizeofExpression		44%		30%	10	17	20	39	5	12	0	1
CommonDomainGuardExpression		42%		0%	6	12	16	28	4	10	0	1
CommonAddressOfExpression		69%		60%	9	25	18	55	7	20	0	1
CommonRecDomainLiteralExpression		80%		69%	9	24	16	61	3	11	0	1
CommonDotExpression		78%		65%	10	34	13	59	3	21	0	1
CommonMPIContractExpression		75%		58%	7	21	11	42	2	9	0	1
CommonDifferentiableExpression		0%		0%	10	10	14	14	9	9	1	1
CommonDereferenceExpression		80%		68%	9	31	13	62	2	17	0	1
CommonCharLiteralExpression		46%		9%	13	20	15	26	4	11	0	1
CommonValueAtExpression		73%		30%	11	19	9	42	1	9	0	1
CommonCastExpression		73%		50%	7	21	13	43	2	14	0	1
CommonStateExpression		33%		0%	6	9	6	11	4	7	0	1
CommonQuantifiedExpression.new Object() {...}		0%		n/a	1	1	1	1	1	1	1	1
CommonSystemGuardExpression		64%		75%	5	12	5	18	4	10	0	1
CommonScopeofExpression		53%		n/a	3	8	4	11	3	8	0	1
CommonBinaryExpression.new Object() {...}		86%		n/a	0	1	0	1	0	1	0	1
CommonWildcardExpression		0%		n/a	6	6	7	7	6	6	1	1
CommonFunctionCallExpression		69%		n/a	4	10	5	14	4	10	0	1
CommonSizeofTypeExpression		58%		n/a	2	7	2	9	2	7	0	1
CommonInitialValueExpression		68%		n/a	1	8	1	11	1	8	0	1
CommonBoundVariableExpression		59%		n/a	2	7	3	10	2	7	0	1
CommonNothing		35%		0%	5	6	6	8	4	5	0	1
CommonDynamicTypeOfExpression		70%		n/a	1	7	1	10	1	7	0	1
CommonRealLiteralExpression		82%		50%	4	13	5	18	3	12	0	1
CommonIntegerLiteralExpression		80%		n/a	3	11	5	17	3	11	0	1
CommonBooleanLiteralExpression		83%		67%	4	13	4	17	2	10	0	1
CommonHereOrRootExpression		82%		33%	4	12	3	15	1	9	0	1
CommonUndefinedProcessExpression		70%		n/a	3	6	3	8	3	6	0	1
CommonFunctionIdentifierExpression		90%		n/a	1	8	1	13	1	8	0	1
CommonVariableExpression		97%		100%	1	23	2	32	1	14	0	1
CommonExpression		96%		80%	4	24	2	38	2	19	0	1
CommonUnaryExpression.new Object() {...}		88%		n/a	0	1	0	1	0	1	0	1
CommonProcnullExpression		90%		n/a	1	6	1	8	1	6	0	1
CommonSelfExpression		88%		n/a	1	6	1	7	1	6	0	1
CommonStatenullExpression		100%		n/a	0	6	0	8	0	6	0	1