#!/usr/bin/env bash
# Same tickets, same fault plan: the crashed-and-resumed database must hold exactly the clean run's results.
set -euo pipefail
source "$(dirname "$0")/common.sh"
{ echo "# Clean run vs crashed-and-resumed run"; echo
  for f in target/clean/run.log target/crash/jvm2.log; do
    echo "## $f"
    grep -E "^tickets total|^ledger|results checksum|billed calls the ledger" "$f"
    echo
  done; } > output/10-compare.txt
cat output/10-compare.txt
a=$(grep checksum target/clean/run.log | awk '{print $NF}'); b=$(grep checksum target/crash/jvm2.log | awk '{print $NF}')
[ "$a" = "$b" ] && echo "checksums identical: $a" | tee -a output/10-compare.txt || { echo "CHECKSUMS DIFFER $a $b" | tee -a output/10-compare.txt; exit 1; }