#!/bin/sh
# DF-0596 run: execute the race harness
# Shows the TOCTOU race on xmitWin and the struct layout confirming the OOB target.
cd "$(dirname "$0")"
echo "=== BASELINE -O2 (default kernel codegen) ==="
./race_harness
echo ""
echo "=== BASELINE -O0 (proves TOCTOU is winnable) ==="
./race_harness_o0
echo ""
echo "=== FIXED -O0 (proves the fix prevents OOB) ==="
./race_harness_fixed