#!/bin/sh
# DF-4506 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
kldload /root/idr_race/idr_race.ko; sysctl debug.idr_find_pause=3; sysctl debug.idr_race.run=20; sysctl debug.idr_race.captures  (expect CAPTURE lines / captures>0 unfixed, 0 fixed); native: sysctl debug.idr_find_pause=0; sysctl debug.idr_race.run=-500 (unfixed: kernel panics in idr_find+0x48 within a few rounds)