Branch Coverage

xs/sandy_rng.h

Criterion	Covered	Total	%
branch	0	2	0.0

line	true	false	branch
63	0	0	while (x == 0) ;