#!/bin/sh
# DF-0510 — static code-path analysis of the thread0 fallback.
# A live trigger requires jail + ng_ksocket setup (root-only
# precondition); see VERDICT.md.
set -e
cd "$(dirname "$0")"
./df0510
echo "RUN_EXIT=$?"