#!/bin/sh
# DF-0014 PoC run script.
# Runs the race-trigger: fork + exit + setpgid(child,0) in a tight loop
# with parallel racers and wide timing sweeps.
#
# Expected on a VULNERABLE kernel: kernel panic
#   panic: lwkt_reltoken: illegal release
# Actual on master DEV: NO PANIC (error path is unreachable — see VERDICT.md).
set -e
cd "$(dirname "$0")"
echo "[run] ./setpgid_panic 150000 4 0"
./setpgid_panic 150000 4 0