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.java		21%		15%	23	33	54	78	5	13	0	1
CommonBinaryExpression.java		65%		61%	30	78	60	157	3	22	0	2
CommonACSLPredicateCall.java		0%		0%	20	20	46	46	9	9	1	1
CommonQuantifiedExpression.java		60%		39%	22	39	34	91	4	15	0	2
CommonConditionalExpression.java		53%		42%	24	41	35	88	4	15	0	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
CommonPointerSetExpression.java		0%		0%	18	18	36	36	8	8	1	1
CommonStructOrUnionLiteralExpression.java		59%		57%	18	36	27	68	6	16	0	1
CommonUnaryExpression.java		58%		42%	18	35	33	74	6	19	0	2
CommonSubscriptExpression.java		61%		53%	14	37	28	70	4	20	0	1
CommonLambdaExpression.java		41%		15%	16	23	25	40	6	13	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
CommonRegularRangeExpression.java		79%		55%	14	32	11	77	1	11	0	1
CommonDomainGuardExpression.java		42%		0%	6	12	16	28	4	10	0	1
CommonMPIContractExpression.java		72%		54%	9	23	13	45	3	10	0	1
CommonOriginalExpression.java		0%		0%	8	8	15	15	7	7	1	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
CommonExtendedQuantifiedExpression.java		67%		27%	12	21	13	39	1	10	0	1
CommonDotExpression.java		78%		65%	10	34	13	59	3	21	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
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
CommonHereOrRootExpression.java		82%		33%	4	12	3	15	1	9	0	1
CommonBoundVariableExpression.java		72%		n/a	1	7	2	10	1	7	0	1
CommonBooleanLiteralExpression.java		87%		83%	3	13	3	17	2	10	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