#!/bin/sh
# DF-0031 run script — exact, runnable. Run as an unprivileged user.
# Demonstrates that the PoC does NOT reach the bug path on a default-config guest:
# all pipe() failures are EMFILE (falloc, fd-limit), not the 2nd-pipespace ENOMEM.
set -e
cd "$(dirname "$0")"
echo "+ ./pipe_leak  (timeout 25s)"
timeout 25 ./pipe_leak
echo "RUN_EXIT=$?"