Branch Coverage

djbsort_src/uint64_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] ^= 0x8000000000000000ULL;
11	5	1	for (j = 0;j < n;++j) x[j] ^= 0x8000000000000000ULL;