Branch Coverage

djbsort_src/uint32down_sort.c

Criterion	Covered	Total	%
branch	4	4	100.0

line	true	false	branch
9	5	1	for (j = 0;j < n;++j) x[j] ^= 0x7fffffff;
11	5	1	for (j = 0;j < n;++j) x[j] ^= 0x7fffffff;