#!/bin/sh
# DF-0513 run script — race ip6_fw_chk (lock-free walker) against
# setsockopt(IPV6_FW_ADD/DEL) mutation.  Requires the ip6fw module to
# be loaded (one-time root setup: `kldload ip6fw`); after that, this
# runs as the unprivileged maxx user.
#
# On the buggy kernel, the race usually panics within a few seconds
# (INVARIANTS trap on slab-poison 0xdeadc0de when chk derefs a freed
# rule).  The panic signature lands in dfbsd-qemu/boot.log.
set -e
cd "$(dirname "$0")"
SECS="${1:-10}"
./df0513 "$SECS"
echo "RUN_EXIT=$?"