scripts/run_v0.sh

#!/usr/bin/env bash
set -euo pipefail

ROOT="$(cd "$(dirname "$0")/.." && pwd)"
USECASE="${1:-migration_brief}"
GOAL="${2:-}"

"$ROOT/scripts/build_hotgraph.sh"
"$ROOT/scripts/generate_control_packet.sh" "$USECASE" "$GOAL"