# DF-0729 — run script (deterministic harness)
# Run as root on the DragonFly guest (after build.sh).
cd "$(dirname "$0")"
echo "[run] loading harness module"
kldload ./df729_harness.ko 2>/dev/null || true
echo "[run] triggering: drain mbufs + icmp6_error(NULL) as ip6_forward.c:259 does"
echo "[run] EXPECTED on UNPATCHED kernel: panic (fatal trap 12, fault at 0x1c)"
echo "[run] EXPECTED on PATCHED kernel:   returns normally (no panic)"
sysctl -w dev.df729.trigger=1 2>&1
echo "[run] AFTER trigger — rc=$?"
echo "[run] if we got here, the fix prevented the panic (or kernel already patched)"
sysctl -n dev.df729.drain_level
sysctl -w dev.df729.release=1 >/dev/null 2>&1
kldunload df729_harness 2>/dev/null || true
echo "[run] done"