diff options
| author | Scott Gasch <[email protected]> | 2026-09-18 18:17:39 -0700 |
|---|---|---|
| committer | Scott Gasch <[email protected]> | 2026-09-18 18:17:39 -0700 |
| commit | 284113f878444ded9cd36b4a70900efd036651de (patch) | |
| tree | f527e1e96ead13a4805d52ca3072260db46ee35e /src/TESTING_PLAN.md | |
| parent | f698c02de213d0ed8968fb7cca5f70df51fa0763 (diff) | |
Add fuzz_test.sh: a long-running gdb-driven fuzz loop over cross_sectional_200k.ep_
Documents two build/invocation bugs hit getting this working: DEBUG builds
need MP=1 too or --cpus is silently unrecognized, and gdb's
"handle SIGTRAP nostop noprint pass" breaks thread control against the
MP/pthread binary (misdiagnosed at first as a sandboxed ptrace restriction,
but reproduces outside any harness and goes away once that directive is
dropped).
Co-Authored-By: Claude Sonnet 5 <[email protected]>
Diffstat (limited to 'src/TESTING_PLAN.md')
| -rw-r--r-- | src/TESTING_PLAN.md | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/src/TESTING_PLAN.md b/src/TESTING_PLAN.md index abf35e3..7d2bfc2 100644 --- a/src/TESTING_PLAN.md +++ b/src/TESTING_PLAN.md @@ -251,3 +251,48 @@ search, eval, or hash. adversarial/degenerate-position term-bounds checks. 6. Round out perf testing per the list above, with stored baselines and pass/fail thresholds instead of print-only output. + +## "Fuzz" testing + +**Implemented: `fuzz_test.sh [binary] [depth] [batch_size] [cpus]`** +(defaults: `./_typhoon`, `sd 6`, 200 positions/batch, `--cpus 2`). Loops +forever: each iteration draws a fresh random batch of `setboard`/`go` +records from the full 400,000-line / 200k-position +`tests/cross_sectional_200k.ep_` pool, runs them through a `DEBUG=1` +build under gdb, and scans the gdb output for a crash/assert signature +before starting the next batch. Stops (exit 1) and prints the offending +batch + engine log paths as soon as one is found; otherwise runs +indefinitely (`^C` to stop). Logs land under `/usr/local/tmp/typhoon/fuzz/` +(one sampled `.ep_` batch + one `.gdb.txt` + one engine `--logfile` per +iteration). + +**Two build/invocation bugs found and fixed getting this working, neither +a sandbox limitation despite first appearances:** + +1. **The DEBUG binary must be built with `MP=1` as well as `DEBUG=1`** + (`gmake clean; gmake DEBUG=1 MP=1`) -- `--cpus` is compiled in only + under `#ifdef MP` (`main.c:311`). A `DEBUG=1`-only build silently + treats `--cpus` and its numeric argument as two separate unrecognized + arguments (`main.c:400`'s "Error (unknown argument)" path) and falls + back to the 1-cpu default with no hard failure -- easy to miss, and it + also means `split.c`'s parallel-search code never actually links in, + defeating the point of passing `--cpus 2` at all. +2. **`gdb -batch -ex "handle SIGTRAP nostop noprint pass" -ex run ...` + breaks thread control against this MP/pthread build specifically**, + producing `ptrace (PT_SUSPEND): Operation not permitted` followed by + `Child process unexpectedly missing: No child processes` -- looked + exactly like a sandboxed environment blocking ptrace outright (and was + initially misdiagnosed as that), but reproduced identically outside + any harness/sandbox, and disappeared entirely once that one `-ex` line + was dropped. `fuzz_test.sh` omits it; a plain `run`/`bt full`/ + `info registers` gdb batch invocation debugs the MP binary fine, + including catching a genuine `int3` breakpoint from a failed `ASSERT`. + +Not yet done: no crash has been found by a run so far, so the +crash-detection path (the `grep -qE` in `fuzz_test.sh`) is exercised by +its own logic reading correctly, not yet by a real hit. Worth periodically +running this for stretches (it's unbounded/`^C`-driven, unlike the other +gates) rather than treating it as a one-time pass/fail check like +`debug_smoke_test.sh`. See also: `./debug_smoke_test.sh` (fast, curated +sample, single pass/fail) for the pre-commit-sized version of the same +idea. |
