Branch Coverage

src/int/i32_tmont.c

Criterion	Covered	Total	%
branch	0	2	0.0

line	true	false	branch
33	0	0	for (k = (m[0] + 31) >> 5; k > 0; k --) {