#!/usr/bin/env bash
# Replay starvation experiment (CTL vs JSON-buffer).
set -euo pipefail
ROOT="$(cd "$(dirname "$0")/.." && pwd)"
cd "$ROOT"
make check
echo
echo "See docs/theory_tool_cst.md for the claim under test."