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,235 of 7,474	57%	430 of 763	44%	457	960	742	1,823	177	555	6	53
CommonArrrayLambdaExpression		21%		15%	23	33	54	78	5	13	0	1
CommonACSLPredicateCall		0%		0%	20	20	46	46	9	9	1	1
CommonBinaryExpression		60%		61%	30	77	60	157	3	21	0	1
CommonQuantifiedExpression		59%		39%	22	38	34	91	4	14	0	1
CommonConditionalExpression		53%		42%	24	41	35	88	4	15	0	1
CommonDerivativeCallExpression		0%		0%	7	7	20	20	4	4	1	1
CommonArrayLiteralExpression		57%		48%	20	37	31	73	5	15	0	1
CommonPointerSetExpression		0%		0%	18	18	36	36	8	8	1	1
CommonStructOrUnionLiteralExpression		59%		57%	18	36	27	68	6	16	0	1
CommonUnaryExpression		53%		42%	18	34	33	74	6	18	0	1
CommonSubscriptExpression		61%		53%	14	37	28	70	4	20	0	1
CommonLambdaExpression		41%		15%	16	23	25	40	6	13	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
CommonRegularRangeExpression		79%		55%	14	32	11	77	1	11	0	1
CommonDomainGuardExpression		42%		0%	6	12	16	28	4	10	0	1
CommonMPIContractExpression		72%		54%	9	23	13	45	3	10	0	1
CommonOriginalExpression		0%		0%	8	8	15	15	7	7	1	1
CommonAddressOfExpression		69%		60%	9	25	18	55	7	20	0	1
CommonRecDomainLiteralExpression		80%		69%	9	24	16	61	3	11	0	1
CommonExtendedQuantifiedExpression		67%		27%	12	21	13	39	1	10	0	1
CommonDotExpression		78%		65%	10	34	13	59	3	21	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
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
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
CommonHereOrRootExpression		82%		33%	4	12	3	15	1	9	0	1
CommonBoundVariableExpression		72%		n/a	1	7	2	10	1	7	0	1
CommonBooleanLiteralExpression		87%		83%	3	13	3	17	2	10	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
CommonUnaryExpression.new Object() {...}		88%		n/a	0	1	0	1	0	1	0	1
CommonVariableExpression		97%		100%	1	23	2	32	1	14	0	1
CommonExpression		96%		80%	4	24	2	38	2	19	0	1
CommonQuantifiedExpression.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