#!/bin/sh
# DF-0884 harness run.  $1 selects mode (buggy|fixed), default buggy.
cd "$(dirname "$0")"
MODE="${1:-buggy}"
echo "+ ./harness $MODE"
./harness "$MODE"
echo "RUN_EXIT=$?"