AcslParser

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	31,253 of 68,682	54%	4,624 of 7,062	34%	2,980	3,950	5,322	11,376	113	339
unaryExpression()		36%		25%	135	160	217	383	0	1
extendedQuantification()		29%		18%	106	119	189	322	0	1
loop_allocation()		0%		0%	36	36	122	122	1	1
conditionalExpression()		29%		23%	90	98	97	136	0	1
loop_focus_window()		0%		0%	33	33	108	108	1	1
ordered_contract()		0%		0%	28	28	96	96	1	1
loop_variant()		0%		0%	30	30	102	102	1	1
primaryExpression()		38%		25%	45	58	88	169	0	1
logicalOrExpression()		23%		10%	52	56	83	116	0	1
completeness_clause()		14%		5%	28	29	87	106	0	1
assignmentExpression()		38%		28%	59	70	77	128	0	1
quantifierExpression()		39%		26%	36	43	74	142	0	1
allocation_clause()		0%		0%	22	22	81	81	1	1
event()		55%		51%	42	68	72	147	0	1
logicalImpliesExpression()		49%		27%	60	69	65	141	0	1
logic_function_body()		44%		32%	29	37	55	120	0	1
multiplicativeExpression()		46%		36%	26	36	58	122	0	1
shiftExpression()		30%		24%	21	26	59	94	0	1
event_base()		73%		58%	51	84	42	230	0	1
loop_behavior()		0%		0%	19	19	65	65	1	1
loop_clause()		39%		25%	26	31	51	98	0	1
synpred83_AcslParser_fragment()		0%		0%	64	64	38	38	1	1
logic_function_clause()		54%		44%	34	44	48	120	0	1
loop_focus()		0%		0%	14	14	55	55	1	1
logicalEquivExpression()		52%		28%	47	56	50	116	0	1
logicalXorExpression()		52%		28%	47	56	50	116	0	1
id_list()		0%		0%	21	21	60	60	1	1
logicalAndExpression()		53%		32%	46	56	50	116	0	1
synpred90_AcslParser_fragment()		0%		0%	57	57	32	32	1	1
directAbstractDeclarator()		44%		33%	23	30	47	100	0	1
constant()		58%		51%	30	49	41	118	0	1
focus_assert_spec()		0%		0%	14	14	51	51	1	1
loop_assigns()		0%		0%	10	10	45	45	1	1
synpred88_AcslParser_fragment()		25%		8%	61	62	22	40	0	1
inclusiveOrExpression()		35%		25%	17	21	35	66	0	1
built_in_logic_type()		21%		14%	18	19	42	56	0	1
term()		44%		37%	32	43	38	74	0	1
synpred85_AcslParser_fragment()		21%		7%	59	60	19	32	0	1
loop_focus_head()		0%		0%	12	12	43	43	1	1
variable_ident()		57%		42%	20	29	33	95	0	1
synpred92_AcslParser_fragment()		22%		8%	55	56	19	32	0	1
function_clause()		65%		57%	22	37	31	98	0	1
castExpression()		49%		53%	21	35	33	70	0	1
transform_contract_block()		0%		0%	10	10	44	44	1	1
abstractDeclarator()		59%		46%	19	30	37	101	0	1
synpred94_AcslParser_fragment()		26%		12%	53	55	19	32	0	1
exclusiveOrExpression()		40%		33%	12	16	32	63	0	1
andExpression()		40%		33%	12	16	32	63	0	1
transform()		0%		0%	8	8	35	35	1	1
variable_ident_base()		45%		28%	15	19	28	64	0	1
integer_type()		0%		0%	8	8	31	31	1	1
real_type()		0%		0%	8	8	31	31	1	1
false_key()		0%		0%	8	8	31	31	1	1
null_key()		0%		0%	8	8	31	31	1	1
anyact_key()		0%		0%	8	8	31	31	1	1
loop_contract_block()		62%		45%	25	32	32	102	0	1
contract()		71%		49%	38	53	26	93	0	1
transform_contract()		0%		0%	6	6	30	30	1	1
behavior_body()		70%		52%	53	73	13	67	0	1
terminates_clause()		25%		7%	7	8	27	38	0	1
simple_clause()		68%		60%	20	35	21	83	0	1
behavior_clause()		59%		52%	17	25	21	56	0	1
completeness_clause_block()		27%		7%	7	8	23	35	0	1
boolean_type()		23%		14%	7	8	23	31	0	1
exists_key()		23%		14%	7	8	23	31	0	1
forall_key()		23%		14%	7	8	23	31	0	1
binder()		59%		33%	19	25	22	67	0	1
alloc_key()		0%		0%	6	6	24	24	1	1
behaviors_key()		0%		0%	6	6	24	24	1	1
completes_key()		0%		0%	6	6	24	24	1	1
decreases_key()		0%		0%	6	6	24	24	1	1
disjoint_key()		0%		0%	6	6	24	24	1	1
frees_key()		0%		0%	6	6	24	24	1	1
focus_key()		0%		0%	6	6	24	24	1	1
ordered_key()		0%		0%	6	6	24	24	1	1
variant_key()		0%		0%	6	6	24	24	1	1
predicate_key()		0%		0%	6	6	24	24	1	1
empty_key()		0%		0%	6	6	24	24	1	1
let_key()		0%		0%	6	6	24	24	1	1
old_key()		0%		0%	6	6	24	24	1	1
with_key()		0%		0%	6	6	24	24	1	1
region_of_key()		0%		0%	6	6	24	24	1	1
max_key()		0%		0%	6	6	24	24	1	1
min_key()		0%		0%	6	6	24	24	1	1
numof_key()		0%		0%	6	6	24	24	1	1
argumentExpressionList()		67%		54%	28	41	19	73	0	1
assignmentExpression_opt()		46%		27%	24	27	16	38	0	1
synpred128_AcslParser_fragment()		0%		0%	9	9	21	21	1	1
synpred129_AcslParser_fragment()		0%		0%	9	9	21	21	1	1
synpred141_AcslParser_fragment()		0%		0%	10	10	22	22	1	1
logic_type_expr()		26%		10%	5	6	21	30	0	1
full_contract_block()		82%		67%	45	82	11	104	0	1
type_expr()		69%		58%	15	23	18	65	0	1
transform_spec()		0%		0%	4	4	21	21	1	1
constantExpression()		0%		0%	4	4	21	21	1	1
synpred130_AcslParser_fragment()		14%		6%	8	9	17	21	0	1
synpred13_AcslParser_fragment()		0%		0%	8	8	23	23	1	1
terminates_key()		30%		20%	5	6	16	24	0	1
inter_key()		30%		20%	5	6	16	24	0	1
union_key()		30%		20%	5	6	16	24	0	1
object_of_key()		30%		20%	5	6	16	24	0	1
product_key()		30%		20%	5	6	16	24	0	1
binders()		63%		50%	9	14	15	52	0	1
relationalExpression()		80%		73%	16	36	11	98	0	1
rangeSuffix()		50%		38%	7	10	14	37	0	1
postfixExpression()		90%		80%	15	42	5	141	0	1
bitwiseImpliesExpression()		85%		62%	37	54	9	73	0	1
rangeExpression()		85%		66%	33	54	9	67	0	1
c_basic_type()		60%		40%	8	11	8	26	0	1
contract_block()		57%		50%	4	7	10	30	0	1
synpred97_AcslParser_fragment()		0%		0%	6	6	10	10	1	1
specifierQualifierList()		75%		64%	11	18	9	46	0	1
pointer()		73%		70%	6	13	9	46	0	1
synpred15_AcslParser_fragment()		0%		0%	4	4	13	13	1	1
synpred17_AcslParser_fragment()		0%		0%	5	5	8	8	1	1
synpred74_AcslParser_fragment()		0%		0%	4	4	13	13	1	1
unary_op()		66%		61%	5	10	8	26	0	1
result_key()		71%		64%	4	8	7	31	0	1
pure_key()		71%		64%	4	8	7	31	0	1
assigns_key()		61%		60%	3	6	7	24	0	1
behavior_key()		61%		60%	3	6	7	24	0	1
ensures_key()		61%		60%	3	6	7	24	0	1
invariant_key()		61%		60%	3	6	7	24	0	1
loop_key()		61%		60%	3	6	7	24	0	1
logic_specifier_key()		61%		60%	3	6	7	24	0	1
executeswhen_key()		61%		60%	3	6	7	24	0	1
reads_key()		61%		60%	3	6	7	24	0	1
call_key()		61%		60%	3	6	7	24	0	1
lambda_key()		61%		60%	3	6	7	24	0	1
synpred78_AcslParser_fragment()		26%		12%	4	5	10	14	0	1
synpred79_AcslParser_fragment()		26%		12%	4	5	10	14	0	1
additiveExpression()		90%		77%	11	26	5	94	0	1
relOp()		70%		72%	4	10	8	26	0	1
synpred74_AcslParser()		0%		0%	2	2	11	11	1	1
synpred120_AcslParser()		0%		0%	2	2	11	11	1	1
synpred5_AcslParser()		0%		0%	2	2	11	11	1	1
synpred71_AcslParser()		0%		0%	2	2	11	11	1	1
synpred8_AcslParser()		0%		0%	2	2	11	11	1	1
synpred14_AcslParser()		0%		0%	2	2	11	11	1	1
synpred108_AcslParser()		0%		0%	2	2	11	11	1	1
synpred29_AcslParser()		0%		0%	2	2	11	11	1	1
synpred128_AcslParser()		0%		0%	2	2	11	11	1	1
synpred11_AcslParser()		0%		0%	2	2	11	11	1	1
synpred97_AcslParser()		0%		0%	2	2	11	11	1	1
synpred110_AcslParser()		0%		0%	2	2	11	11	1	1
synpred13_AcslParser()		0%		0%	2	2	11	11	1	1
synpred99_AcslParser()		0%		0%	2	2	11	11	1	1
synpred59_AcslParser()		0%		0%	2	2	11	11	1	1
synpred142_AcslParser()		0%		0%	2	2	11	11	1	1
synpred98_AcslParser()		0%		0%	2	2	11	11	1	1
synpred121_AcslParser()		0%		0%	2	2	11	11	1	1
synpred129_AcslParser()		0%		0%	2	2	11	11	1	1
synpred141_AcslParser()		0%		0%	2	2	11	11	1	1
synpred38_AcslParser()		0%		0%	2	2	11	11	1	1
synpred90_AcslParser()		0%		0%	2	2	11	11	1	1
synpred107_AcslParser()		0%		0%	2	2	11	11	1	1
synpred18_AcslParser()		0%		0%	2	2	11	11	1	1
synpred83_AcslParser()		0%		0%	2	2	11	11	1	1
synpred50_AcslParser()		0%		0%	2	2	11	11	1	1
synpred25_AcslParser()		0%		0%	2	2	11	11	1	1
synpred70_AcslParser()		0%		0%	2	2	11	11	1	1
synpred114_AcslParser()		0%		0%	2	2	11	11	1	1
synpred147_AcslParser()		0%		0%	2	2	11	11	1	1
synpred15_AcslParser()		0%		0%	2	2	11	11	1	1
synpred115_AcslParser()		0%		0%	2	2	11	11	1	1
synpred37_AcslParser()		0%		0%	2	2	11	11	1	1
synpred17_AcslParser()		0%		0%	2	2	11	11	1	1
synpred56_AcslParser()		0%		0%	2	2	11	11	1	1
named_behavior()		84%		77%	5	12	5	49	0	1
event_list()		82%		80%	5	14	6	52	0	1
bitwiseEquivExpression()		87%		75%	8	17	5	66	0	1
synpred122_AcslParser_fragment()		29%		12%	4	5	7	11	0	1
synpred123_AcslParser_fragment()		29%		12%	4	5	7	11	0	1
synpred126_AcslParser_fragment()		29%		12%	4	5	7	11	0	1
synpred25_AcslParser_fragment()		0%		0%	4	4	7	7	1	1
synpred120_AcslParser_fragment()		0%		0%	4	4	7	7	1	1
synpred142_AcslParser_fragment()		0%		0%	4	4	7	7	1	1
directAbstractDeclaratorSuffix()		83%		77%	4	10	5	42	0	1
loop_invariant()		82%		77%	4	10	5	44	0	1
nothing_key()		77%		78%	3	8	6	31	0	1
true_key()		77%		78%	3	8	6	31	0	1
bitequiv_op()		77%		78%	3	8	5	33	0	1
assumes_key()		70%		80%	2	6	6	24	0	1
assert_key()		70%		80%	2	6	6	24	0	1
requires_key()		70%		80%	2	6	6	24	0	1
valid_key()		70%		80%	2	6	6	24	0	1
access_key()		70%		80%	2	6	6	24	0	1
dependson_key()		70%		80%	2	6	6	24	0	1
read_key()		70%		80%	2	6	6	24	0	1
write_key()		70%		80%	2	6	6	24	0	1
sum_key()		70%		80%	2	6	6	24	0	1
synpred38_AcslParser_fragment()		0%		0%	3	3	9	9	1	1
synpred59_AcslParser_fragment()		0%		0%	3	3	9	9	1	1
assert_contract()		84%		83%	3	10	5	42	0	1
guards_clause()		82%		78%	3	8	5	38	0	1
assigns_clause()		82%		78%	3	8	5	38	0	1
ensures_clause()		82%		78%	3	8	5	38	0	1
reads_clause()		82%		78%	3	8	5	38	0	1
pure_function()		79%		78%	3	8	5	32	0	1
bitimplies_op()		74%		80%	2	6	5	27	0	1
synpred71_AcslParser_fragment()		0%		0%	3	3	8	8	1	1
synpred98_AcslParser_fragment()		0%		0%	3	3	7	7	1	1
synpred99_AcslParser_fragment()		0%		0%	3	3	7	7	1	1
synpred107_AcslParser_fragment()		0%		0%	3	3	7	7	1	1
synpred108_AcslParser_fragment()		0%		0%	3	3	7	7	1	1
synpred114_AcslParser_fragment()		0%		0%	3	3	7	7	1	1
synpred115_AcslParser_fragment()		0%		0%	3	3	7	7	1	1
function_contract()		86%		80%	5	14	5	49	0	1
depends_clause()		84%		85%	2	8	5	38	0	1
assumes_clause()		84%		85%	2	8	5	38	0	1
loop_contract()		79%		80%	2	6	5	30	0	1
named_behavior_block()		79%		80%	2	6	5	30	0	1
synpred11_AcslParser_fragment()		0%		0%	3	3	6	6	1	1
synpred18_AcslParser_fragment()		0%		0%	3	3	6	6	1	1
synpred110_AcslParser_fragment()		0%		0%	3	3	6	6	1	1
synpred121_AcslParser_fragment()		0%		0%	3	3	6	6	1	1
logic_function_contract()		86%		94%	1	10	5	44	0	1
requires_clause()		86%		92%	1	8	5	38	0	1
synpred14_AcslParser_fragment()		0%		0%	2	2	7	7	1	1
synpred8_AcslParser_fragment()		0%		0%	2	2	6	6	1	1
synpred62_AcslParser_fragment()		59%		33%	3	4	5	10	0	1
synpred63_AcslParser_fragment()		59%		33%	3	4	5	10	0	1
synpred106_AcslParser_fragment()		80%		81%	3	12	3	23	0	1
synpred5_AcslParser_fragment()		0%		0%	2	2	5	5	1	1
synpred29_AcslParser_fragment()		0%		0%	2	2	5	5	1	1
synpred37_AcslParser_fragment()		0%		0%	2	2	5	5	1	1
synpred50_AcslParser_fragment()		0%		0%	2	2	5	5	1	1
synpred56_AcslParser_fragment()		0%		0%	2	2	5	5	1	1
synpred70_AcslParser_fragment()		0%		0%	2	2	5	5	1	1
synpred147_AcslParser_fragment()		0%		0%	2	2	5	5	1	1
synpred52_AcslParser_fragment()		67%		33%	3	4	2	7	0	1
synpred116_AcslParser_fragment()		67%		33%	3	4	2	7	0	1
synpred31_AcslParser_fragment()		58%		25%	2	3	2	6	0	1
synpred31_AcslParser()		82%		50%	1	2	2	11	0	1
synpred130_AcslParser()		82%		50%	1	2	2	11	0	1
synpred123_AcslParser()		82%		50%	1	2	2	11	0	1
synpred79_AcslParser()		82%		50%	1	2	2	11	0	1
synpred122_AcslParser()		82%		50%	1	2	2	11	0	1
synpred49_AcslParser()		82%		50%	1	2	2	11	0	1
synpred63_AcslParser()		82%		50%	1	2	2	11	0	1
synpred52_AcslParser()		82%		50%	1	2	2	11	0	1
synpred62_AcslParser()		82%		50%	1	2	2	11	0	1
synpred73_AcslParser()		82%		50%	1	2	2	11	0	1
synpred78_AcslParser()		82%		50%	1	2	2	11	0	1
synpred80_AcslParser()		82%		50%	1	2	2	11	0	1
synpred116_AcslParser()		82%		50%	1	2	2	11	0	1
synpred126_AcslParser()		82%		50%	1	2	2	11	0	1
synpred127_AcslParser_fragment()		94%		56%	7	9	0	21	0	1
synpred24_AcslParser()		84%		50%	1	2	2	11	0	1
synpred57_AcslParser()		84%		50%	1	2	2	11	0	1
synpred94_AcslParser()		84%		50%	1	2	2	11	0	1
synpred113_AcslParser()		84%		50%	1	2	2	11	0	1
synpred54_AcslParser()		84%		50%	1	2	2	11	0	1
synpred21_AcslParser()		84%		50%	1	2	2	11	0	1
synpred92_AcslParser()		84%		50%	1	2	2	11	0	1
synpred112_AcslParser()		84%		50%	1	2	2	11	0	1
synpred109_AcslParser()		84%		50%	1	2	2	11	0	1
synpred69_AcslParser()		84%		50%	1	2	2	11	0	1
synpred148_AcslParser()		84%		50%	1	2	2	11	0	1
synpred111_AcslParser()		84%		50%	1	2	2	11	0	1
synpred42_AcslParser()		84%		50%	1	2	2	11	0	1
synpred88_AcslParser()		84%		50%	1	2	2	11	0	1
synpred55_AcslParser()		84%		50%	1	2	2	11	0	1
synpred6_AcslParser()		84%		50%	1	2	2	11	0	1
synpred1_AcslParser()		84%		50%	1	2	2	11	0	1
synpred68_AcslParser()		84%		50%	1	2	2	11	0	1
synpred36_AcslParser()		84%		50%	1	2	2	11	0	1
synpred10_AcslParser()		84%		50%	1	2	2	11	0	1
synpred26_AcslParser()		84%		50%	1	2	2	11	0	1
synpred96_AcslParser()		84%		50%	1	2	2	11	0	1
synpred105_AcslParser()		84%		50%	1	2	2	11	0	1
synpred136_AcslParser()		84%		50%	1	2	2	11	0	1
synpred85_AcslParser()		84%		50%	1	2	2	11	0	1
synpred95_AcslParser()		84%		50%	1	2	2	11	0	1
synpred68_AcslParser_fragment()		93%		50%	8	9	0	18	0	1
synpred64_AcslParser()		86%		100%	0	2	2	11	0	1
synpred2_AcslParser()		86%		100%	0	2	2	11	0	1
synpred61_AcslParser()		86%		100%	0	2	2	11	0	1
synpred146_AcslParser()		86%		100%	0	2	2	11	0	1
synpred72_AcslParser()		86%		100%	0	2	2	11	0	1
synpred149_AcslParser()		86%		100%	0	2	2	11	0	1
synpred117_AcslParser()		86%		100%	0	2	2	11	0	1
synpred127_AcslParser()		86%		100%	0	2	2	11	0	1
synpred30_AcslParser()		86%		100%	0	2	2	11	0	1
synpred124_AcslParser()		86%		100%	0	2	2	11	0	1
synpred58_AcslParser()		86%		100%	0	2	2	11	0	1
synpred66_AcslParser()		86%		100%	0	2	2	11	0	1
synpred125_AcslParser()		86%		100%	0	2	2	11	0	1
synpred3_AcslParser()		86%		100%	0	2	2	11	0	1
synpred65_AcslParser()		86%		100%	0	2	2	11	0	1
synpred4_AcslParser()		86%		100%	0	2	2	11	0	1
synpred106_AcslParser()		86%		100%	0	2	2	11	0	1
synpred24_AcslParser_fragment()		93%		50%	5	6	0	12	0	1
setTreeAdaptor(TreeAdaptor)		0%		n/a	1	1	2	2	1	1
synpred64_AcslParser_fragment()		95%		62%	3	5	0	11	0	1
synpred65_AcslParser_fragment()		95%		62%	3	5	0	11	0	1
synpred66_AcslParser_fragment()		95%		62%	3	5	0	11	0	1
synpred124_AcslParser_fragment()		95%		62%	3	5	0	11	0	1
getDelegates()		0%		n/a	1	1	1	1	1	1
getTreeAdaptor()		0%		n/a	1	1	1	1	1	1
synpred61_AcslParser_fragment()		95%		66%	2	4	0	10	0	1
synpred96_AcslParser_fragment()		95%		50%	2	3	0	11	0	1
synpred105_AcslParser_fragment()		95%		50%	2	3	0	11	0	1
synpred95_AcslParser_fragment()		94%		50%	2	3	0	10	0	1
synpred109_AcslParser_fragment()		93%		50%	2	3	0	7	0	1
synpred111_AcslParser_fragment()		93%		50%	2	3	0	7	0	1
synpred112_AcslParser_fragment()		93%		50%	2	3	0	7	0	1
synpred113_AcslParser_fragment()		93%		50%	2	3	0	7	0	1
synpred10_AcslParser_fragment()		93%		50%	2	3	0	6	0	1
synpred80_AcslParser_fragment()		93%		50%	2	3	1	6	0	1
synpred136_AcslParser_fragment()		93%		50%	2	3	0	6	0	1
getGrammarFileName()		0%		n/a	1	1	1	1	1	1
synpred6_AcslParser_fragment()		95%		50%	1	2	0	7	0	1
synpred26_AcslParser_fragment()		95%		50%	1	2	0	7	0	1
synpred1_AcslParser_fragment()		94%		50%	1	2	0	5	0	1
synpred21_AcslParser_fragment()		94%		50%	1	2	0	5	0	1
synpred36_AcslParser_fragment()		94%		50%	1	2	0	5	0	1
synpred49_AcslParser_fragment()		94%		50%	1	2	1	5	0	1
synpred54_AcslParser_fragment()		94%		50%	1	2	0	5	0	1
synpred55_AcslParser_fragment()		94%		50%	1	2	0	5	0	1
synpred57_AcslParser_fragment()		94%		50%	1	2	0	5	0	1
synpred69_AcslParser_fragment()		94%		50%	1	2	0	5	0	1
synpred73_AcslParser_fragment()		94%		50%	1	2	1	5	0	1
synpred148_AcslParser_fragment()		94%		50%	1	2	0	5	0	1
synpred42_AcslParser_fragment()		92%		50%	1	2	0	2	0	1
static {...}		100%		100%	0	2	0	741	0	1
synpred30_AcslParser_fragment()		100%		100%	0	3	0	6	0	1
synpred2_AcslParser_fragment()		100%		100%	0	2	0	5	0	1
synpred3_AcslParser_fragment()		100%		100%	0	2	0	5	0	1
synpred4_AcslParser_fragment()		100%		100%	0	2	0	5	0	1
synpred58_AcslParser_fragment()		100%		100%	0	2	0	5	0	1
synpred72_AcslParser_fragment()		100%		100%	0	2	0	5	0	1
synpred117_AcslParser_fragment()		100%		100%	0	2	0	5	0	1
synpred125_AcslParser_fragment()		100%		100%	0	2	0	5	0	1
synpred146_AcslParser_fragment()		100%		100%	0	2	0	5	0	1
synpred149_AcslParser_fragment()		100%		100%	0	2	0	5	0	1
AcslParser(TokenStream, RecognizerSharedState)		100%		n/a	0	1	0	4	0	1
AcslParser(TokenStream)		100%		n/a	0	1	0	2	0	1
getTokenNames()		100%		n/a	0	1	0	1	0	1