#!/bin/sh
# DF-5592 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
kldload ./ptsim3/ptsim3.ko; sleep 2; sysctl debug.ptsim3.go=1   # =2 panic, =4 fix-check
