#!/usr/bin/env bash
# Regenerates every file under output/.
#
#   ./scripts/run-all.sh
#
# Needs a JDK 25, Maven 3.9 and python3. Transcripts 01-11 are written by the test suite, so each figure in the
# article is an assertion that fails the build if it stops being true. 12 is read out of the Spring Boot jar.
set -euo pipefail
cd "$(dirname "$0")/.."

echo "== test suite (transcripts 01-11)"
mvn -B test

echo "== facts read from jars (12)"
./scripts/capture-facts.sh

echo
echo "output:"
ls -1 output