#!/bin/sh
# DF-0272 PoC run — runs as unprivileged user (maxx).
# Prints "RESULT: DEADLOCK_CONFIRMED ..." if ifnet_mtx is leaked and the
# second network ioctl blocks forever; "RESULT: NO_DEADLOCK" otherwise.
cd "$(dirname "$0")"
./poc
echo "RUN_EXIT=$?"