#!/bin/sh
# DF-1172 run. Usage: ./run.sh [harness]
set -e
cd "$(dirname "$0")"
case "${1:-harness}" in
    harness)
        # primary proof: the exact OOB indexing math from real struct layouts
        ./overflow_harness
        ;;
    *) echo "usage: $0 [harness]"; exit 2 ;;
esac