#!/bin/sh
set -e
echo "[run] DF-0573 trigger: ioc->id=17 (out of range)"
echo "[run] baseline expectation: setsockopt returns success, kernel wedges"
echo "[run] patched expectation: setsockopt returns EINVAL"
./trigger 17