#!/bin/sh
# DF-1171 run harness. Usage: ./run.sh [harness]
set -e
cd "$(dirname "$0")"
MODE="${1:-harness}"

case "$MODE" in
    harness)
        # primary proof: prints the exact OOB overflow math from real struct layouts
        ./overflow_harness
        ;;
    *)
        echo "usage: $0 [harness]"; exit 2 ;;
esac