#!/bin/sh

for a in result/*.out; do
  if ../analyze --test source/`basename $a .out`.scade > /tmp/analyze_out.txt;
  then
    if diff -B /tmp/analyze_out.txt $a >/dev/null; then
      echo "OK    $a"
    else
      echo "FAIL  $a"
    fi
  else
    echo "TODO  $a"
  fi
done