#!/bin/sh
# DF-DF-0702 run: issue the IP_FW_SYNC_CENTRE_CONF sockopt that *would* trigger the
# bug if the path were live. On the default kernel this returns ENOPROTOOPT
# (ipfw3 module not loaded); even after kldload ipfw3 the sync dispatch is a
# no-op (ip_fw3_ctl_sync_ptr never assigned). See VERDICT.md for the source trace.
set -e
cd "$(dirname "/usr/bin/bash")"
./ipfw3_sync_deadpath