#!/bin/sh
# DF-4056 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
TX: sh /root/dfet/run.sh 2  (EXPECT panic 'tbd_used > 0'); RX: sh /root/dfet/run.sh 3 &  then sysctl kern.dfet.stats twice