#!/bin/sh
# DF-2561 PoC run script.
# Requires: accf_data kernel module loaded on the guest (kldload accf_data as root).
# Runs all three variants sequentially with short durations to demonstrate
# no panic. The finding is a false positive; the kernel survives all variants.
set -e
cd "$(dirname "$0")"
echo "=== variant 1: close-rotator + acceptor + connectors (8s) ==="
timeout 15 ./df2561 8 2>&1
echo "=== variant 3: setsockopt-clear racing with connectors (8s) ==="
timeout 15 ./df2561c 8 2>&1
echo "=== variant 2 is intentionally resource-leaking; run separately if desired ==="
echo "ALL_RUNS_DONE (no panic expected — finding is a false positive)"