{
  "finding_id": "DF-4099",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "./push_rig.sh",
    "run": "sh run1.sh (DF-4099 is the last section)",
    "expected": "flags=0x1 ACTIVE, on_pending=1, timer=0, comp=0, ccb_status=0x200 forever after comp_code=0x42; exhaustion leaves active=11 pending=11 leaked and next queue REQUEUE'd"
  },
  "kernel_refs": ["sys/dev/disk/buslogic/bt.c:1451", "sys/dev/disk/buslogic/bt.c:1449", "sys/dev/disk/buslogic/btreg.h:466"],
  "artifacts": ["README.md","VERDICT.md","dfbt_rig.c","dfbt_ctl.c","Makefile","push_rig.sh","run1.sh","run.log","env.txt","fix.diff","manifest.json","verdict.json"]
}