#! /bin/bash
# Last edited on 2024-03-30 18:08:20 by stolfi

# Usage: $0 <inprefix>
# Compares the files <inprefix>.checked-{bad,dunno,good} against the
#   files <inprefix>.{bad,dunno,good}, giving the differences for each file.

if [[ $# -ne 1]]; then
  echo "** usage: $0 <inprefix>" 1>&2
  exit 1
fi

inprefix="$1"

for k in bad dunno good ; do

  echo "=== in .checked-${k} but not in .${k}:" 1>&2
  bool 1-2 ${inprefix}.checked-${k} ${inprefix}.${k} | wc -l | tr '\012' ' ' 1>&2

  echo "=== in .${k} but not in .checked-${k}:" 1>&2
  bool 1-2 ${inprefix}.${k} ${inprefix}.checked-${k} | wc -l | tr '\012' ' ' 1>&2

  echo ' ' 1>&2
done